{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"ty::Never"}]}
            ty::Never => TyKind::RigidTy(RigidTy::Never),
            )),
            ty::Tuple(fields) => TyKind::RigidTy(RigidTy::Tuple(