Finished 27

Author: mattpocock

package-lock.json

@@ -8,6 +8,7 @@
     "@types/node": "^18.6.5",
     "chokidar": "^3.5.3",
     "cross-fetch": "^3.1.5",
+    "prettier": "^2.8.7",
     "typescript": "^5.0.2",
     "vitest": "^0.21.1"
   },
@@ -100,4 +101,4 @@
     "ts-toolbelt": "^9.6.0",
     "zod": "^3.19.1"
   }
-}
+}

package.json

@@ -2,13 +2,6 @@ import { Equal, Expect } from "../helpers/type-utils";
 
 export const asConst = <const T>(t: T) => t;
 
-/**
- * Now, fruits is typed as:
- * [{ name: "apple"; price: 1 }, { name: "banana"; price: 2 }]
- *
- * Try changing the argument to asConst to see how it affects
- * the type.
- */
 const fruits = asConst([
   {
     name: "apple",

src/06-identity-functions/27-const-annotations.solution.ts renamed to src/06-identity-functions/27-const-annotations.solution.1.ts

@@ -0,0 +1,33 @@
+import { Equal, Expect } from "../helpers/type-utils";
+import { F } from "ts-toolbelt";
+
+export const asConst = <T>(t: F.Narrow<T>) => t;
+
+const fruits = asConst([
+  {
+    name: "apple",
+    price: 1,
+  },
+  {
+    name: "banana",
+    price: 2,
+  },
+]);
+
+type tests = [
+  Expect<
+    Equal<
+      typeof fruits,
+      [
+        {
+          name: "apple";
+          price: 1;
+        },
+        {
+          name: "banana";
+          price: 2;
+        }
+      ]
+    >
+  >
+];