Function implements_trait_unique_with_args 

pub fn implements_trait_unique_with_args<'db>(
    db: &'db (dyn HirDatabase + 'static),
    env: ParamEnvAndCrate<'db>,
    trait_: TraitId,
    args: GenericArgs<'db>,
) -> bool

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