Allow constraining opaque types during subtyping in the trait system#125447

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

oli-obk:eq_opaque_predoli-obk/rust:eq_opaque_predCopy head branch name to clipboard