Make RPITITs inherit the `assumed_wf_types` of their parent method#113704

Merged

bors merged 3 commits intorust-lang:masterfrom compiler-errors:rpitit-assumed-wf-inherit

Jul 30, 2023

+151-117

Commits on Jul 29, 2023