> compile
$ copy-file changes/A2.scala A.scala
# Same workaround as #2565
# Compilation of B.scala should fail because A#S is no longer a subtype of Int
-> compile
