fn list_significant_drop_tys<'tcx>( tcx: TyCtxt<'tcx>, key: PseudoCanonicalInput<'tcx, Ty<'tcx>>, ) -> &'tcx List<Ty<'tcx>>