groovy-users mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jamie Echlin <>
Subject return type and generics
Date Tue, 22 Sep 2015 16:00:10 GMT
This compiles OK:

class C extends Script {

    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

View raw message