Auto merge of #107969 - b-naber:proj-relate-variance, r=lcnr

Use covariance on type relations of field projection types if possible

It's fine to use covariance here unless we're in a mutating context.

Fixes rust-lang/rust#96514

Supersedes rust-lang/rust#105958

r? `@lcnr`