return type and generics

[Jamie Echlin]

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