type annotation on lambda method reference crashes javac

Steve Sides steve.sides at oracle.com
Mon Jan 28 17:15:47 PST 2013


Hi Werner,
   This may be addressed with the rest of type-annotations + lambda, but 
so far most type annotations on lambda epxression are ignored.
This one crashes javac.

Compile TAlambda2.java below.  Error message and stack trace is below 
the code.

-steve

import java.lang.annotation.*;
import static java.lang.annotation.RetentionPolicy.*;
import static java.lang.annotation.ElementType.*;

public class TAlambda2 {

     public void test() {
         Integer[] intarray = { new Integer(1), new Integer(2), new 
Integer(3) };
         printArray(intarray, TPrint::<@A String>print);
     }

     public void printArray(Object[] oa, PrintString ps) {
       for(Object o : oa ) ps.print(o.toString());
     }

     public static void main(String... args) {
         new TAlambda2().test();
     }
}

interface PrintString { void print(String s); }

class TPrint {
     public static <T> void print(T msg) {
         System.out.println("TPrint: " + msg.toString());
     }
}

@Retention(RUNTIME)
@Target({TYPE_USE})
@interface A {}

Error message and stack trace:

An exception has occurred in the compiler (1.8.0-ea). Please file a bug 
at the Java Developer Connection (http://java.sun.com/webapps/bugreport)
   after checking the Bug Parade for duplicates. Include your program 
and the following diagnostic in your report.  Thank you.
java.lang.AssertionError: Unresolved frame: TPrint::< @A() String>print 
of kind: MEMBER_REFERENCE
     Looking for tree:  @A() String
         at com.sun.tools.javac.util.Assert.error(Assert.java:133)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.resolveFrame(TypeAnnotations.java:796)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.resolveFrame(TypeAnnotations.java:757)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.findPosition(TypeAnnotations.java:1025)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.visitAnnotatedType(TypeAnnotations.java:964)
         at 
com.sun.tools.javac.tree.JCTree$JCAnnotatedType.accept(JCTree.java:2330)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.scan(TypeAnnotations.java:135)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:57)
         at 
com.sun.tools.javac.tree.TreeScanner.visitReference(TreeScanner.java:268)
         at 
com.sun.tools.javac.tree.JCTree$JCMemberReference.accept(JCTree.java:1931)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.scan(TypeAnnotations.java:135)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:57)
         at 
com.sun.tools.javac.tree.TreeScanner.visitApply(TreeScanner.java:199)
         at 
com.sun.tools.javac.tree.JCTree$JCMethodInvocation.accept(JCTree.java:1440)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.scan(TypeAnnotations.java:135)
         at 
com.sun.tools.javac.tree.TreeScanner.visitExec(TreeScanner.java:174)
         at 
com.sun.tools.javac.tree.JCTree$JCExpressionStatement.accept(JCTree.java:1271)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.scan(TypeAnnotations.java:135)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:57)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.visitBlock(TypeAnnotations.java:957)
         at com.sun.tools.javac.tree.JCTree$JCBlock.accept(JCTree.java:884)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.scan(TypeAnnotations.java:135)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.visitMethodDef(TypeAnnotations.java:901)
         at 
com.sun.tools.javac.tree.JCTree$JCMethodDecl.accept(JCTree.java:771)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.scan(TypeAnnotations.java:135)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:57)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.visitClassDef(TypeAnnotations.java:843)
         at 
com.sun.tools.javac.tree.JCTree$JCClassDecl.accept(JCTree.java:686)
         at com.sun.tools.javac.tree.TreeScanner.scan(TreeScanner.java:49)
         at 
com.sun.tools.javac.code.TypeAnnotations$TypeAnnotationPositions.scan(TypeAnnotations.java:135)
         at 
com.sun.tools.javac.code.TypeAnnotations.organizeTypeAnnotationsBodies(TypeAnnotations.java:102)
         at com.sun.tools.javac.comp.Attr.attribClassBody(Attr.java:4096)
         at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:3975)
         at com.sun.tools.javac.comp.Attr.attribClass(Attr.java:3909)
         at com.sun.tools.javac.comp.Attr.attrib(Attr.java:3883)
         at 
com.sun.tools.javac.main.JavaCompiler.attribute(JavaCompiler.java:1254)
         at 
com.sun.tools.javac.main.JavaCompiler.compile2(JavaCompiler.java:907)
         at 
com.sun.tools.javac.main.JavaCompiler.compile(JavaCompiler.java:866)
         at com.sun.tools.javac.main.Main.compile(Main.java:506)
         at com.sun.tools.javac.main.Main.compile(Main.java:365)
         at com.sun.tools.javac.main.Main.compile(Main.java:354)
         at com.sun.tools.javac.main.Main.compile(Main.java:345)
         at com.sun.tools.javac.Main.compile(Main.java:76)
         at com.sun.tools.javac.Main.main(Main.java:61)



More information about the type-annotations-dev mailing list