> compile
$ copy-file changes/A2.scala A.scala
# Compilation of B.scala should fail because object A does not extend `Int => A` anymore
-> compile