Adds test

Author: Mike Solomon

src/Web/GPU/Internal/RequiredAndOptional.purs

@@ -45,4 +45,4 @@ e
   :: forall nt optional
    . Newtype nt (RequiredAndOptional () optional)
   => nt
-e = unsafeCoerce {}
+e = unsafeCoerce {}

test/Types/RequiredAndOptional.purs

@@ -0,0 +1,21 @@
+module Test.Types.RequiredAndOptiona where
+
+import Prelude
+
+import Data.Foldable (for_)
+import Effect (Effect)
+import Web.GPU.GPU (requestAdapter)
+
+import Web.GPU.Internal.RequiredAndOptional ((~))
+import Web.GPU.Navigator (gpu)
+import Web.HTML (window)
+import Web.HTML.Window (navigator)
+
+test1 :: Effect Unit
+test1 = do
+  w <- window
+  n <- navigator w
+  g' <- gpu n
+  for_ g' \g -> do
+    _ <- requestAdapter g ({} ~ {})
+    pure unit