ci: disable

.github/workflows/gradle-check.yaml

@@ -1,11 +1,11 @@
 name: test
 on:
   push:
-    branches: [main]
+    # branches: [main]
   pull_request:
-    branches: [main]
+    # branches: [main]
   merge_group:
-    types: [checks_requested]
+    # types: [checks_requested]
 jobs:
   check-aya-version:
     uses: aya-prover/aya-dev/.github/workflows/extract-version.yaml@main

.github/workflows/nightly-build.yaml

@@ -1,7 +1,7 @@
 name: nightly
 on:
   push:
-    branches: [main, ci]
+    # branches: [main, ci]
 jobs:
   move-tag:
     runs-on: ubuntu-latest

base/src/main/java/org/aya/tyck/ExprTycker.java

@@ -110,8 +110,8 @@ yield subscoped(() -> {
       case Expr.Error error -> throw new UnsupportedOperationException("TODO");
       case Expr.Let let -> throw new UnsupportedOperationException("TODO");
       case Expr.Array array -> throw new UnsupportedOperationException("TODO");
-      case Expr.Sugar _ -> throw new UnsupportedOperationException("desugared");
       case Expr.Unresolved _ -> throw new UnsupportedOperationException("?");
+      case Expr.Sugar _ -> throw new IllegalArgumentException("these exprs are desugared, should be unreachable");
     };
   }