WIP

CharlesTaylor7 · Apr 18, 2024 · ab4ef7d · ab4ef7d
1 parent dae6f74
commit ab4ef7d
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/checker/specification/staging.md b/checker/specification/staging.md
@@ -1,3 +1,19 @@
 Currently implementing:
 
 > This file is for work-in-progress and can help separating features that are being implemented to regressions
+
+> https://github.com/microsoft/TypeScript/blob/main/src/lib/es5.d.ts#L1581-L1605
+
+#### never type
+
+```ts
+function loops(): never {
+    while (true);
+}
+
+loops() satisfies string;
+
+```
+
+- expected string, found never
+
diff --git a/checker/src/synthesis/type_annotations.rs b/checker/src/synthesis/type_annotations.rs
@@ -77,6 +77,7 @@ pub(super) fn synthesise_type_annotation<T: crate::ReadFromFS>(
 		}
 		TypeAnnotation::Name(name, pos) => match name.as_str() {
 			"any" => TypeId::ANY_TYPE,
+			"never" => TypeId::NEVER_TYPE,
 			"this" => todo!(), // environment.get_value_of_this(&mut checking_data.types),
 			"self" => TypeId::ANY_INFERRED_FREE_THIS,
 			name => {