Type Definition rustc_middle::ty::query::query_values::destructure_const

type destructure_const<'tcx> = DestructuredConst<'tcx>;