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