Add test for RPIT defined with different hidden types with different substs#111947

Merged

bors merged 1 commit intorust-lang:masterfrom

obeis:issue-111943

May 26, 2023

Commits on May 25, 2023

Add test for RPIT defined with different hidden types with different substs
obeis
committed