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.