Function implements_trait_unique 

pub fn implements_trait_unique<'db>(
    ty: Ty<'db>,
    db: &'db (dyn HirDatabase + 'static),
    env: ParamEnvAndCrate<'db>,
    trait_: TraitId,
) -> bool

This should not be used in hir-ty, only in hir.