Errors ignored in Eclipse plug-in if "Use message keys instead of text" is on

[GoogleCodeExporter]

What steps will reproduce the problem?
1.Using the Checker Framework Eclipse plug-in with "Use message keys instead of 
text" on, run the Nullness Checker for the following program.
public class Bar {
    Runnable r = () -> System.out.println();
}

What is the expected output? What do you see instead?
Expected: Warning message at line 2: incompatible types in assignment. String s 
= null; found : null required: @Initialized @NonNull String
Actual: no warning

What version of the product are you using? On what operating system?
Checker Framework/Eclipse plug-in 1.8.5.1

Please provide any additional information below.

Original issue reported on code.google.com by ClovisSe...@gmail.com on 25 Sep 2014 at 7:33

[GoogleCodeExporter]

Ups, wrong program. The correct program is

public class Bar {
    String s = null;
}

and the verbose output in Eclipse does show the warning:
Bar.java:4: warning: (assignment.type.incompatible)
    String s = null;
               ^
1 warning

Original comment by ClovisSe...@gmail.com on 25 Sep 2014 at 10:19

[GoogleCodeExporter]

Original comment by michael.ernst@gmail.com on 29 Sep 2014 at 9:56

• Added labels: Eclipse

[GoogleCodeExporter]

Hi Clovis,

I have reproduced this -- "Use message keys instead of text" is currently 
incompatible with the eclipse plugin.

Original comment by mcart...@cs.washington.edu on 23 Jan 2015 at 10:34

• Changed state: Accepted
• Added labels: Priority-Low
• Removed labels: Priority-Medium