Unnamed repository; edit this file 'description' to name the repository.
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 https://github.com/rust-lang/rust/issues/96514
Supersedes https://github.com/rust-lang/rust/pull/105958
r? `@lcnr`
