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