From ab8af46b28d04e32d6d01019d86ce84b200c73a7 Mon Sep 17 00:00:00 2001 From: Weitian Xing <13183370+xingweitian@users.noreply.github.com> Date: Sun, 18 Aug 2019 17:18:02 -0400 Subject: [PATCH] Fix typo (CompatabilityBEI2.java -> CompatibilityBEI2.java) and make CompatibilityBEI2.java pass. (#8) Make CompatibilityBEI2.java pass. --- .../{CompatabilityBEI2.java => CompatibilityBEI2.java} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) rename testinput/typecheck/{CompatabilityBEI2.java => CompatibilityBEI2.java} (88%) diff --git a/testinput/typecheck/CompatabilityBEI2.java b/testinput/typecheck/CompatibilityBEI2.java similarity index 88% rename from testinput/typecheck/CompatabilityBEI2.java rename to testinput/typecheck/CompatibilityBEI2.java index 166d479..440de14 100644 --- a/testinput/typecheck/CompatabilityBEI2.java +++ b/testinput/typecheck/CompatibilityBEI2.java @@ -43,10 +43,10 @@ abstract class O implements CharSequence {} @Immutable interface ImmutableInterface {} -// :: 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> {}