Use covariance on type relations of field projection types if possible#107969

Merged

bors merged 2 commits intorust-lang:masterfrom b-naber:proj-relate-variance

Feb 20, 2023

+159-4

Commits on Feb 12, 2023

only require sub type relation on field projection types
b-naber
committed

Commits on Feb 15, 2023

exhaustive matching in get_ambient_variance
b-naber
committed