Type Definition rustc_middle::ty::query::query_stored::check_mod_const_bodies

type check_mod_const_bodies<'tcx> = ();