1 2 3 4 5 6 7
> compile # remove type parameter from A $ copy-file changes/A.scala A.scala # should get compile error because B, C, D reference A without a type parameter -> compile