From dd659867955d87affde0b6271cc9bf86208462dc Mon Sep 17 00:00:00 2001 From: jcosborn Date: Tue, 9 Oct 2018 06:34:03 -0500 Subject: fixes #4435 (#9185) --- tests/distinct/t4435.nim | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 tests/distinct/t4435.nim (limited to 'tests/distinct/t4435.nim') diff --git a/tests/distinct/t4435.nim b/tests/distinct/t4435.nim new file mode 100644 index 000000000..4d9979fab --- /dev/null +++ b/tests/distinct/t4435.nim @@ -0,0 +1,21 @@ +discard """ + output: ''' +A +A +''' +""" + +type + A[T] = distinct T + B[T] = distinct T + +proc foo[T](x:A[T]) = echo "A" +proc foo[T](x:B[T]) = echo "B" +proc bar(x:A) = echo "A" +proc bar(x:B) = echo "B" + +var + a:A[int] + +foo(a) # fine +bar(a) # testdistinct.nim(14, 4) Error: ambiguous call; both testdistinct.bar(x: A) and testdistinct.bar(x: B) match for: (A[system.int]) -- cgit 1.4.1-2-gfad0