Skip to content

Fudge infer vars in the cause code of Obligation intentionally#149299

Merged
bors merged 1 commit intorust-lang:mainfrom
adwinwhite:next-245-ice
Dec 1, 2025
Merged

Fudge infer vars in the cause code of `Obligation` intentionally#149299
bors merged 1 commit intorust-lang:mainfrom
adwinwhite:next-245-ice

Commits

Commits on Dec 1, 2025