Walk types more carefully in ProhibitOpaqueTypes
visitor
#104296
Merged
ProhibitOpaqueTypes
visitor
#104296