From 8943276198034c6500ecbf4e513886ccf80fa056 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Wed, 9 Apr 2014 13:04:36 +0200
Subject: Disallow '_' as type variable

"... when _ :: ..." used to compile, but Dialyzer crashed.
---
 lib/stdlib/test/erl_lint_SUITE.erl | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'lib/stdlib/test/erl_lint_SUITE.erl')

diff --git a/lib/stdlib/test/erl_lint_SUITE.erl b/lib/stdlib/test/erl_lint_SUITE.erl
index 16bd88938a..6e5892714b 100644
--- a/lib/stdlib/test/erl_lint_SUITE.erl
+++ b/lib/stdlib/test/erl_lint_SUITE.erl
@@ -3720,7 +3720,18 @@ otp_11851(Config) when is_list(Config) ->
             t()-> a.
 	">>,
 	[],
-	{errors,[{5,erl_lint,{bad_callback,{lint_test,a,1}}}],[]}}
+	{errors,[{5,erl_lint,{bad_callback,{lint_test,a,1}}}],[]}},
+	{otp_11851_3,
+	 <<"-export([a/1]).
+
+            -spec a(_A) -> boolean() when
+                  _ :: atom(),
+                  _A :: integer().
+
+            a(_) -> true.
+	">>,
+	[],
+	{errors,[{4,erl_parse,"bad type variable"}],[]}}
           ],
     [] = run(Config, Ts),
     ok.
-- 
cgit v1.2.3