Make RPITITs assume/require their parent method's predicates#113215

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:rpitit-predicates-tweakscompiler-errors/rust:rpitit-predicates-tweaksCopy head branch name to clipboard