Skip to content

Use ObligationCtxt::normalize#104775

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:use-obligation-ctxt-normalize
Nov 24, 2022
Merged

Use ObligationCtxt::normalize#104775
bors merged 1 commit intorust-lang:masterfrom
spastorino:use-obligation-ctxt-normalize

Commits

Commits on Nov 23, 2022