fn check_drop_xor_pin_drop<'tcx>(
tcx: TyCtxt<'tcx>,
adt_def_id: DefId,
drop_impl_did: LocalDefId,
) -> Result<(), ErrorGuaranteed>Expand description
This function checks at least and at most one of Drop::drop and Drop::pin_drop is implemented.
It also checks that Drop::pin_drop must be implemented if #[pin_v2] is present on the type.