framework/jtreg/variablenamedefault/UseTest2.out - typetools/checker-framework - Git at Google

 UseTest.java:8:17: compiler.err.proc.messager: [argument] incompatible argument for parameter arg0 of method.
 found   : @VariableNameDefaultTop int
 required: @VariableNameDefaultMiddle int
 1 error
	UseTest.java:8:17: compiler.err.proc.messager: [argument] incompatible argument for parameter arg0 of method.
	found : @VariableNameDefaultTop int
	required: @VariableNameDefaultMiddle int
	1 error