Function chalk_integration::query::coherence
source · fn coherence(
db: &dyn LoweringDatabase
) -> Result<BTreeMap<TraitId<ChalkIr>, Arc<SpecializationPriorities<ChalkIr>>>, ChalkError>
fn coherence(
db: &dyn LoweringDatabase
) -> Result<BTreeMap<TraitId<ChalkIr>, Arc<SpecializationPriorities<ChalkIr>>>, ChalkError>