Compile the samples files as tests (samples-google-prototype-eisop) (…

…#498)
jspecify · Mar 26, 2024 · 45d2204 · 45d2204
1 parent 187c927
commit 45d2204
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -17,8 +17,17 @@ apply from: "gradle/integration-test.gradle"
 apply from: "gradle/format.gradle"
 apply from: "gradle/publish.gradle"
 
+sourceSets {
+    test {
+        java {
+            srcDirs = ['samples']
+        }
+    }
+}
+
 dependencies {
     errorprone "com.google.errorprone:error_prone_core:${errorproneVersion}"
+    testImplementation 'com.google.guava:guava:31.1-jre'
 }
 
 java {
@@ -36,6 +45,12 @@ java {
     }
 }
 
+compileTestJava {
+    options.errorprone.errorproneArgs = [
+        '-XepExcludedPaths:.*/samples/.*'
+    ]
+}
+
 javadoc {
     options.encoding = 'UTF-8'
 }

diff --git a/samples/ContainmentSuperVsExtendsSameType.java b/samples/ContainmentSuperVsExtendsSameType.java
@@ -19,8 +19,10 @@
 @NullMarked
 class ContainmentSuperVsExtendsSameType {
   void x() {
+    // `conflicting_annotations` b/c upper and lower bound of `? super Object` differ.
     // :: error: jspecify_nullness_mismatch jspecify_but_expect_nothing
-    new Check<Lib<? extends Number>, Lib<? super Number>>();
+    // :: error: jspecify_conflicting_annotations
+    new Check<Lib<? extends Object>, Lib<? super Object>>();
   }
 
   interface Lib<T extends @Nullable Object> {}