Enforce predicates which link bivariant opaque lifetimes#122311

compiler-errors wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:opaque-linking-outlivescompiler-errors/rust:opaque-linking-outlivesCopy head branch name to clipboard