eagerly check nested obligations when coercing fndefs#141334

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

lcnr:coerce-nested-obligationslcnr/rust:coerce-nested-obligationsCopy head branch name to clipboard