Function chalk_solve::clauses::builtin_traits::unsize::uses_outer_binder_params

source ยท 
fn uses_outer_binder_params<I: Interner>(
    interner: I,
    v: &Binders<impl TypeVisitable<I> + HasInterner>,
    parameters: &HashSet<usize>,
) -> bool