Type Definition adt_destructor
rustc_middle::ty::query::query_stored
type adt_destructor<'tcx> = Option<Destructor>;