fn pointee_ty_str<'tcx>(ty: Ty<'tcx>) -> Option<String>
Return a string label for the pointee type, for type-level alias checks.