15.12 broadens the 'super' invocation syntax to allow a TypeName rather than a ClassName.

15.12.1 assumes this name refers to either a class or an interface. It does not account for the possibility that it refers to a type variable:

<T> void test() { T.super.m(); }

Of course, this should result in an error.