groovy-users mailing list archives

Site index · List index
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