Skip to content

do not constrain infer vars in find_best_leaf_obligation#133493

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:fulfill-fudge
Nov 27, 2024
Merged

do not constrain infer vars in `find_best_leaf_obligation`#133493
bors merged 2 commits intorust-lang:masterfrom
lcnr:fulfill-fudge

Commits

Commits on Nov 26, 2024