Message view | « Date » · « Thread » |
---|---|
Top | « Date » · « Thread » |
From | Jamie Echlin <jamie.ech...@gmail.com> |
Subject | return type and generics |
Date | Tue, 22 Sep 2015 16:00:10 GMT |
This compiles OK: @TypeChecked class C extends Script { @Override List<String> run() { [11, 12] } } however, in IDEA, with @TypeChecked, it's highlighted as an error. I didn't really expect this to produce an error in static type checking, but I'm just wondering if IDEA is going more here than @TypeChecked does. Or is there some way to get type checking to flag this as an error? cheers, jamie | |
Mime |
|
View raw message |