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