Skip to main content

implements_trait_unique_with_args

hir_ty::traits

Function implements_trait_unique_with_args 

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

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