diff --git a/src/checkers/inference/InferenceMain.java b/src/checkers/inference/InferenceMain.java
index 3e1333a8..b37123fc 100644
--- a/src/checkers/inference/InferenceMain.java
+++ b/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);
diff --git a/testdata/ostrusted-inferrable-test/Unsat.java b/testdata/ostrusted-inferrable-test/Unsat.java
new file mode 100644
index 00000000..66cbdab0
--- /dev/null
+++ b/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();
+    }
+}