fn true_significant_drop_ty<'tcx>(
tcx: TyCtxt<'tcx>,
ty: Ty<'tcx>,
) -> Option<SmallVec<[Ty<'tcx>; 2]>>
Expand description
An additional filter to exclude well-known types from the ecosystem
because their drops are trivial.
This returns additional types to check if the drops are delegated to those.
A typical example is hashbrown::HashMap<K, V>
, whose drop is delegated to K
and V
.