Function dyn_compatibility 

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