search

ctolkmit / checker-framework

Automatically exported from code.google.com/p/checker-framework
0 stars 0 forks source link

-AresolveReflection errors on void.class #432

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
class Test {

    Class<?> test() {
        return void.class;
    }
}

error: ClassValAnnotatedTypeFactory.getClassname: did not expect VOID; invoke 
the compiler with -AprintErrorStack to see the stack trace.
Test.java:4: error: [return.type.incompatible] incompatible types in return.
        return void.class;
                   ^
  found   : Class<Void>
  required: Class<? extends Object>

Original issue reported on code.google.com by trask.st...@gmail.com on 19 Apr 2015 at 7:01