I think this should not parse. At least the variance does not have any effect on the AST.

class A {}
type C = {
 -...A
}