Type Definition rustc_middle::ty::query::query_stored::destructure_const[][src]

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