pub(crate) const fn coherent_trait<'tcx>() -> QueryStruct<'tcx>