1 files changed, 35 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/src/my_queue/my_queue_use.erl b/lib/dialyzer/test/opaque_SUITE_data/src/my_queue/my_queue_use.erl
new file mode 100644
index 0000000000..98f9972c1e
--- /dev/null
+++ b/lib/dialyzer/test/opaque_SUITE_data/src/my_queue/my_queue_use.erl
@@ -0,0 +1,35 @@
+-module(my_queue_use).
+
+-export([ok1/0, ok2/0, wrong1/0, wrong2/0, wrong3/0, wrong4/0, wrong5/0]).
+
+ok1() ->
+    my_queue_adt:is_empty(my_queue_adt:new()).
+
+ok2() ->
+    Q0 = my_queue_adt:new(),
+    Q1 = my_queue_adt:add(42, Q0),
+    {42, Q2} = my_queue_adt:dequeue(Q1),
+    my_queue_adt:is_empty(Q2).
+
+wrong1() ->
+    my_queue_adt:is_empty([]).
+
+wrong2() ->
+    Q0 = [],
+    my_queue_adt:add(42, Q0).
+
+wrong3() ->
+    Q0 = my_queue_adt:new(),
+    Q1 = my_queue_adt:add(42, Q0),
+    [42|Q2] = Q1,
+    Q2.
+
+wrong4() ->
+    Q0 = my_queue_adt:new(),
+    Q1 = my_queue_adt:add(42, Q0),
+    Q1 =:= [].
+
+wrong5() ->
+    Q0 = my_queue_adt:new(),
+    {42, Q2} = my_queue_adt:dequeue([42|Q0]),
+    Q2.