Function dyn_compatibility_of_trait_query 

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