Function dyn_compatibility_of_trait_query 

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