From 2660d9b52c668e85d987208f8118b415a19c4ea5 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Sat, 22 Sep 2012 19:29:03 +0200
Subject: Warn for underspecified opaque types

---
 lib/stdlib/test/erl_lint_SUITE.erl | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'lib/stdlib/test')

diff --git a/lib/stdlib/test/erl_lint_SUITE.erl b/lib/stdlib/test/erl_lint_SUITE.erl
index 2a9163b6c4..90a37f6441 100644
--- a/lib/stdlib/test/erl_lint_SUITE.erl
+++ b/lib/stdlib/test/erl_lint_SUITE.erl
@@ -2399,6 +2399,14 @@ otp_10436(Config) when is_list(Config) ->
     {warnings,[{4,erl_lint,{not_exported_opaque,{t2,0}}},
                {4,erl_lint,{unused_type,{t2,0}}}]} =
         run_test2(Config, Ts, []),
+    Ts2 = <<"-module(otp_10436_2).
+             -export_type([t1/0, t2/0]).
+             -opaque t1() :: term().
+             -opaque t2() :: any().
+         ">>,
+    {warnings,[{3,erl_lint,{underspecified_opaque,{t1,0}}},
+               {4,erl_lint,{underspecified_opaque,{t2,0}}}]} =
+        run_test2(Config, Ts2, []),
     ok.
 
 export_all(doc) ->
-- 
cgit v1.2.3