Report AlwaysFalseConstraints as CF errors

src/checkers/inference/InferenceMain.java

@@ -480,6 +480,9 @@ public DefaultResultHandler(Logger logger) {
 
         @Override
         public void handleCompilerResult(boolean success, String javacOutStr) {
+            if (!javacOutStr.isEmpty()) {
+                logger.severe(javacOutStr);
+            }
             if (!success) {
                 logger.severe("Error return code from javac! Quitting.");
                 logger.info(javacOutStr);

testdata/ostrusted-inferrable-test/Unsat.java

@@ -0,0 +1,12 @@
+import ostrusted.qual.OsUntrusted;
+import ostrusted.qual.OsTrusted;
+
+class Unsat {
+
+    @OsUntrusted String bar() { return ""; }
+
+    void m() {
+        // :: error: (assignment.type.incompatible)
+        @OsTrusted String s = bar();
+    }
+}