{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"}"}]}
                } else {
                    TyKind::Tup(thin_vec![ty.clone(), ty.clone()])
                    // We have to return [T; width+1], +1 for the primal return.