gavinking
commented
7 years ago Open gavinking opened 7 years ago
gavinking
commented
7 years ago gavinking
commented
7 years ago It looks like this is happening because I have a List<JavaType<Foo>.Bar> where, of course, Foo is not known at runtime because JavaType doesn't have reified type arguments.
@FroMage could you take a look at this please?
FroMage
commented
7 years ago What's a tuple doing in this story then? You have a tuple of lists?
gavinking
commented
7 years ago The tuple is the instance of List.
FroMage
commented
7 years ago Is JavaType.Bar static or not?
gavinking
commented
7 years ago @FroMage Yes, it is.
Oh, that explains it: I recently started sticking UnknownTypes as type arguments to qualifying types of Java static inner types.
I didn't do that before.
FroMage
commented
7 years ago And I started ignoring them, but not everywhere yet.
FroMage
commented
7 years ago I can't reproduce it yet, with:
value t1 = [JavaClass<String>.StaticMemberNoParam()];
for(t in t1){
print(t);
}
value t2 = [JavaClass.StaticMemberNoParam()];
for(t in t2){
print(t);
}The other wrinkle is I was using an alias for the type JavaClass.StaticMemberNoParam.
gavinking
commented
7 years ago Oh, wait, the compiler probably optimizes iteration of tuples. Use:
List<JavaClass.StaticMemberNoParam> t1 = [JavaClass.StaticMemberNoParam()];In fact the case I have is this:
List<JavaClass<Anything>.StaticMemberNoParam> t1 = [JavaClass<Anything>.StaticMemberNoParam()];I don't know where precisely the UnknownType comes from. The typechecker must throw away the type argument because the qualified type is static.
FroMage
commented
7 years ago Interestingly, this produces a typechecker error:
List<JavaClass.StaticMemberNoParam> t2 = [JavaClass.StaticMemberNoParam()];
for(t in t2){ // ERROR:could not determine type of function or value reference: 't2'
print(t);// ERROR:could not determine type of function or value reference: 't'
}That I don't think are correct.
gavinking
commented
7 years ago @FroMage yep, just noticed, see #6684.
FroMage
commented
7 years ago So any luck in getting me a reproductible test?
FroMage
commented
7 years ago If not, I'll move to 1.3.2.
gavinking
commented
7 years ago Well, I can't seem to reproduce this anymore, so perhaps it's fixed itself. Closing.
bjansen
commented
7 years ago It happened again in IntelliJ. It looks like the error is triggered during code completion, I'm not sure how to reproduce it systematically though :(