disallow invalid @:coreType abstract variance (see #2844)