{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"#[salsa::invoke(crate::dyn_compatibility::dyn_compatibility_of_trait_query)]"}]}
    #[salsa::invoke(crate::dyn_compatibility::dyn_compatibility_of_trait_query)]
    fn dyn_compatibility_of_trait(&self, trait_: TraitId) -> Option<DynCompatibilityViolation>;