Auto merge of #110399 - cjgillot:infer-variance, r=aliemjay · RalfJung/miri@493953b · GitHub

Commit

Auto merge of #110399 - cjgillot:infer-variance, r=aliemjay

Browse files

Account for opaque variance in outlives

Fixes rust-lang/rust#108591
Fixes rust-lang/rust#108592
cc `@aliemjay`

Loading branch information

bors committed Apr 20, 2023

2 parents 10dd8e7 + bcaee9a commit 493953b