From aa1cdebdc206857902081b4862dad2c2990179e8 Mon Sep 17 00:00:00 2001 From: cooldome Date: Mon, 13 Aug 2018 15:02:20 +0200 Subject: Converters to take into account constraints. Fixes #7520 (#8593) --- tests/converter/tconverter_with_constraint.nim | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 tests/converter/tconverter_with_constraint.nim (limited to 'tests/converter') diff --git a/tests/converter/tconverter_with_constraint.nim b/tests/converter/tconverter_with_constraint.nim new file mode 100644 index 000000000..793264434 --- /dev/null +++ b/tests/converter/tconverter_with_constraint.nim @@ -0,0 +1,20 @@ + +discard """ + file: "tconverter_with_constraint.nim" + line: 20 + errormsg: "type mismatch: got " +""" + +type + MyType = distinct int + +converter to_mytype(m: int{lit}): MyType = + m.MyType + +proc myproc(m: MyType) = + echo m.int, ".MyType" + +myproc(1) # call by literal is ok + +var x: int = 12 +myproc(x) # should fail \ No newline at end of file -- cgit 1.4.1-2-gfad0