Skip to content

eagerly check nested obligations when coercing fndefs#141334

Merged
bors merged 1 commit intorust-lang:masterfrom
lcnr:coerce-nested-obligations
May 21, 2025

Commits

Commits on May 21, 2025