Type Definition mir_const
rustc_middle::ty::query::query_values
type mir_const<'tcx> = &'tcx Steal<Body<'tcx>>;