Function add_transform_tys 

pub fn add_transform_tys<'tcx>(
    available_ty: &mut HashSet<TyWrapper<'tcx>>,
    tcx: TyCtxt<'tcx>,
)