Opaque Type rustc_ty_utils::needs_drop::

type <'tcx> = impl : Iterator<Item = Result<Ty<'tcx>, AlwaysRequiresDrop>>;