consider item bounds for non-yet-defined opaque types#146329

Merged

bors merged 2 commits intorust-lang:masterfrom

lcnr:opaque-type-infer-alias-candidates

Sep 12, 2025

Commits on Sep 11, 2025

consider the `sub_unification_table` in `stalled_on`
lcnr
committed
incompletely prefer opaque type bounds when self type bottoms out in infer

compiler-errors
authored and
lcnr
committed