{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"2,"}]}
                    2,
                let result_ty = TyKind::Tuple(
                    Substitution::from_iter(Interner, [lhs.ty.clone(), TyBuilder::bool()]),