Add @notundefined attribute to Stdlib_DataView

Author: mediremi

runtime/Stdlib_DataView.res

@@ -1,3 +1,4 @@
+@notUndefined
 type t
 
 @new external fromBuffer: Stdlib_ArrayBuffer.t => t = "DataView"

tests/tests/src/option_wrapping_test.mjs

@@ -40,6 +40,8 @@ let x29 = new Error("");
 
 let x30 = new ArrayBuffer(0);
 
+let x31 = new DataView(new ArrayBuffer(0));
+
 let x99 = {};
 
 let x1 = "hello";
@@ -84,6 +86,7 @@ export {
   x28,
   x29,
   x30,
+  x31,
   x98,
   x99,
 }

tests/tests/src/option_wrapping_test.res

@@ -24,6 +24,7 @@ let x27 = Some(Float32Array.fromArray([1.0]))
 let x28 = Some(Symbol.make(""))
 let x29 = Some(JsError.make(""))
 let x30 = Some(ArrayBuffer.make(0))
+let x31 = Some(ArrayBuffer.make(0)->DataView.fromBuffer)
 
 let x98 = Some(list{})
 let x99 = Some((Dict.make(): dict<string>))