Function implements_trait_unique_with_infcx 

pub fn implements_trait_unique_with_infcx<'db>(
    db: &'db (dyn HirDatabase + 'static),
    env: ParamEnvAndCrate<'db>,
    trait_: TraitId,
    create_args: &mut dyn FnMut(&InferCtxt<'db>) -> GenericArgs<'db>,
) -> bool