pub(crate) fn coherent_trait() -> DepKindStruct