Walk un-shifted nested impl Trait
in trait when setting up default trait method assumptions
#109240
+33
−30