Considers type variance in property specification.
Considers type variance in field specification.
Considers type variance in param specification.