From 2ed0ff842eaeade7ebfdb1d2db168428e73a29ee Mon Sep 17 00:00:00 2001
From: Rasmus Buurman <rasmus@rbuurman.de>
Date: Tue, 9 Dec 2025 11:29:21 +0100
Subject: [PATCH] Remove NatLit desugaring error variant

---
 lang/lowering/src/result.rs           | 6 ------
 test/suites/fail-lower/L-010.expected | 8 --------
 test/suites/fail-lower/L-010.pol      | 3 ---
 3 files changed, 17 deletions(-)
 delete mode 100644 test/suites/fail-lower/L-010.expected
 delete mode 100644 test/suites/fail-lower/L-010.pol

diff --git a/lang/lowering/src/result.rs b/lang/lowering/src/result.rs
index 19f7cada..2af19797 100644
--- a/lang/lowering/src/result.rs
+++ b/lang/lowering/src/result.rs
@@ -65,12 +65,6 @@ pub enum LoweringError {
         #[label]
         span: SourceSpan,
     },
-    #[error("Literal cannot be desugared because S/Z are not in program")]
-    #[diagnostic(code("L-010"))]
-    NatLiteralCannotBeDesugared {
-        #[label]
-        span: SourceSpan,
-    },
     #[error("Mismatched named arguments: given {}, expected {}", given.id, expected.id)]
     #[diagnostic(code("L-011"))]
     MismatchedNamedArgs {
diff --git a/test/suites/fail-lower/L-010.expected b/test/suites/fail-lower/L-010.expected
deleted file mode 100644
index 172c9e2c..00000000
--- a/test/suites/fail-lower/L-010.expected
+++ /dev/null
@@ -1,8 +0,0 @@
-L-010
-
-  × Literal cannot be desugared because S/Z are not in program
-   ╭─[L-010.pol:3:17]
- 2 │ 
- 3 │ let foo : Nat { 5 }
-   ·                 ─
-   ╰────
diff --git a/test/suites/fail-lower/L-010.pol b/test/suites/fail-lower/L-010.pol
deleted file mode 100644
index d611ec6a..00000000
--- a/test/suites/fail-lower/L-010.pol
+++ /dev/null
@@ -1,3 +0,0 @@
-data Nat {}
-
-let foo : Nat { 5 }
\ No newline at end of file