Type parameter
YY
of
TypeParameter_variance_not_affected_1.m
invariant
YY
:
int
, kind:
TypeVar