Skip to content

skip rpit constraint checker if borrowck return type error#117884

Merged
bors merged 1 commit intorust-lang:masterfrom
bvanjoi:fix-117794
Dec 17, 2023
Merged

skip rpit constraint checker if borrowck return type error#117884
bors merged 1 commit intorust-lang:masterfrom
bvanjoi:fix-117794

Commits

Commits on Dec 17, 2023