pub fn dyn_compatibility( db: &(dyn HirDatabase + 'static), trait_: TraitId, ) -> Option<DynCompatibilityViolation>