Function assumptions_on_binders 

pub(super) fn assumptions_on_binders(
    cg: &mut UnstableOptions,
    _collected: &mut CollectedOptions,
    v: Option<&str>,
    _index: usize,
) -> bool