fn peel_off_weak_aliases<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> Ty<'tcx>
Expand description

Peel off all weak alias types in this type until there are none left.

This assumes that ty gets normalized later and that any overflows occurring during said normalization get reported.