Incompletely prefer opaque type bounds when self type bottoms out in infer#140405

Draft

compiler-errors wants to merge 6 commits intorust-lang:masterfrom

compiler-errors:bound-incomplete

Commits on May 4, 2025

eagerly compute `sub_relations` again

lcnr
authored and
compiler-errors
committed
inline `CanonicalTyVarKind`

lcnr
authored and
compiler-errors
committed
track relevant sub_relations in canonical queries

lcnr
authored and
compiler-errors
committed
using `opt_values` may mean we don't have infer vars

lcnr
authored and
compiler-errors
committed

Commits on May 5, 2025