2 files changed, 8 insertions, 1 deletions
diff --git a/test/example/c-api-kitchen-sink.c b/test/example/c-api-kitchen-sink.c
index d70ad11eb..c4973d317 100644
--- a/test/example/c-api-kitchen-sink.c
+++ b/test/example/c-api-kitchen-sink.c
@@ -223,6 +223,12 @@ void test_types() {
   BinaryenTypeExpand(i31ref, &valueType);
   assert(valueType == i31ref);
 
+  BinaryenType dataref = BinaryenTypeDataref();
+  printf("  // BinaryenTypeDataref: %d\n", dataref);
+  assert(BinaryenTypeArity(dataref) == 1);
+  BinaryenTypeExpand(dataref, &valueType);
+  assert(valueType == dataref);
+
   printf("  // BinaryenTypeAuto: %d\n", BinaryenTypeAuto());
 
   BinaryenType pair[] = {i32, i32};
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index 350c5555f..8b06c1109 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -9,7 +9,8 @@
   // BinaryenTypeExternref: 8
   // BinaryenTypeAnyref: 9
   // BinaryenTypeEqref: 10
-  // BinaryenTypeI31ref: 12
+  // BinaryenTypeI31ref: 11
+  // BinaryenTypeDataref: 12
   // BinaryenTypeAuto: -1
 BinaryenFeatureMVP: 0
 BinaryenFeatureAtomics: 1