Function ra_ap_hir_ty::method_resolution::implements_trait

pub fn implements_trait(
    ty: &Canonical<Ty>, 
    db: &dyn HirDatabase, 
    env: Arc<TraitEnvironment>, 
    krate: CrateId, 
    trait_: TraitId
) -> bool