Fix typo (CompatabilityBEI2.java -> CompatibilityBEI2.java) and make …

…CompatibilityBEI2.java pass. (#8) Make CompatibilityBEI2.java pass.
opprop · Aug 18, 2019 · ab8af46 · ab8af46
1 parent 505dcf8
commit ab8af46
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/testinput/typecheck/CompatabilityBEI2.java → testinput/typecheck/CompatibilityBEI2.java b/testinput/typecheck/CompatabilityBEI2.java → testinput/typecheck/CompatibilityBEI2.java
@@ -43,10 +43,10 @@ abstract class O implements CharSequence {}
 
 @Immutable interface ImmutableInterface<E extends @ReceiverDependantMutable Object> {}
 
-// :: error: (declaration.inconsistent.with.implements.clause)
+// :: error: (declaration.inconsistent.with.implements.clause) :: error: (type.argument.type.incompatible)
 @Mutable abstract class P implements ImmutableInterface<@Mutable Object> {}
 
 @Immutable abstract class Q implements ImmutableInterface<@Immutable Object> {}
 
-// :: error: (declaration.inconsistent.with.implements.clause)
+// :: error: (declaration.inconsistent.with.implements.clause) :: error: (type.argument.type.incompatible)
 @ReceiverDependantMutable abstract class R implements ImmutableInterface<@ReceiverDependantMutable Object> {}