diff --git a/compiler/sempass2.nim b/compiler/sempass2.nim index c1279f3754..91ade858e9 100644 --- a/compiler/sempass2.nim +++ b/compiler/sempass2.nim @@ -1550,6 +1550,7 @@ proc track(tracked: PEffects, n: PNode) = # Check for implicit range conversions if n.kind == nkHiddenStdConv and (not tracked.isArrayIndexing) and + n[1].kind notin {nkCharLit..nkUInt64Lit, nkFloatLit..nkFloat128Lit} and shouldWarnRangeConversion(tracked.config, n.info, n.typ, n[1].typ): message(tracked.config, n.info, warnImplicitRangeConversion, typeToString(n[1].typ) & " -> " & typeToString(n.typ)) diff --git a/tests/range/timplicitrangedownsizing2.nim b/tests/range/timplicitrangedownsizing2.nim deleted file mode 100644 index 679fad60be..0000000000 --- a/tests/range/timplicitrangedownsizing2.nim +++ /dev/null @@ -1,11 +0,0 @@ -discard """ - matrix: "--warning:systemRangeConversion --warningaserror:systemRangeConversion" - action: "reject" - errormsg: "implicit range conversion int literal(12) -> Natural" -""" - - -proc foo(x: Natural) = - discard - -foo(12) \ No newline at end of file diff --git a/tests/range/timplicitrangedownsizing3.nim b/tests/range/timplicitrangedownsizing3.nim new file mode 100644 index 0000000000..7796a207b7 --- /dev/null +++ b/tests/range/timplicitrangedownsizing3.nim @@ -0,0 +1,14 @@ +discard """ + matrix: "--warning:systemRangeConversion --warningaserror:systemRangeConversion" +""" + +proc foo(x: range[0..100]) = discard + +foo(12) + +type + Float = range[0.0..100.0] + +proc bar(x: Float) = discard + +bar(12.0) \ No newline at end of file