pub(crate) fn coherent_trait<'tcx>() -> DynamicQuery<'tcx, Storage<'tcx>>