{"ast_node_type":"variable","tokens":[{"end":61,"kind":"keyword","start":0,"text":"if"}]}
            if let TyKind::BoundVar(bv) = ty.kind(Interner) {
        ) -> Option<chalk_ir::TyVariableKind> {
                let binders = binders.as_slice(Interner);