From 8a488f070519fbb8570c4af2b5dae874e6c6daeb Mon Sep 17 00:00:00 2001
From: Matt Vague <mattvague@gmail.com>
Date: Mon, 25 Apr 2022 08:44:22 -0700
Subject: [PATCH] More tests

---
 types/index.ts | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/types/index.ts b/types/index.ts
index 20cc03273..696fc8bde 100644
--- a/types/index.ts
+++ b/types/index.ts
@@ -1040,12 +1040,32 @@ import examples
     simplify: (name: string) => `simplify ${name}`
   })).toMatchTypeOf<void>()
 
+  expectTypeOf(math.import({
+    myvalue: 42
+  }, {
+    override: true
+  })).toMatchTypeOf<void>()
+
+  expectTypeOf(math.import({
+    myvalue: 42
+  }, {
+    silent: true
+  })).toMatchTypeOf<void>()
+
+  expectTypeOf(math.import({
+    myvalue: 42
+  }, {
+    wrap: true
+  })).toMatchTypeOf<void>()
+
   expectTypeOf(math.import({
     myvalue: 42,
   })).toMatchTypeOf<void>()
 
   expectTypeOf(math.import([{
     myvalue: 42,
+  }, {
+    simplify: (name: string) => `simplify ${name}`
   }])).toMatchTypeOf<void>()
 }