Function list_significant_drop_tys 

pub fn list_significant_drop_tys<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: PseudoCanonicalInput<'tcx, Ty<'tcx>>,
) -> String