{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"if"}]}
                if bv.debruijn == DebruijnIndex::INNERMOST {
                let binders = binders.as_slice(Interner);
                    if let chalk_ir::VariableKind::Ty(tk) = binders[bv.index].kind {