pub(crate) fn coherent_trait<'tcx>() -> DepKindStruct<'tcx>