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

…CompatibilityBEI2.java pass. (opprop#8) Make CompatibilityBEI2.java pass.
AndrewShf · Feb 10, 2022 · 67e4661 · 67e4661
1 parent c4daeb9
commit 67e4661
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> {}