{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"///"}]}
    /// Create a new binder with the given bound vars.
impl<T> Binder<T> {
    pub fn bind_with_vars(value: T, bound_vars: Vec<BoundVariableKind>) -> Self {