From adaea0e993fd8db351b5dad92802e47ed6d0ec77 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Wed, 17 Aug 2022 23:08:34 -0700
Subject: Warning on lossy implicit casts. (#2367)

* Warning on bool to float conversion.

* Fix test cases.

* Improve.

* LanguageServer: don't show constant value for non constant variables.

* Fix tests.

* Fix warnings in tests.

Co-authored-by: Yong He <yhe@nvidia.com>
---
 tests/bugs/generic-uint-value-param.slang | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 tests/bugs/generic-uint-value-param.slang

(limited to 'tests/bugs/generic-uint-value-param.slang')

diff --git a/tests/bugs/generic-uint-value-param.slang b/tests/bugs/generic-uint-value-param.slang
new file mode 100644
index 000000000..4d4059732
--- /dev/null
+++ b/tests/bugs/generic-uint-value-param.slang
@@ -0,0 +1,24 @@
+// generic-uint-value-param.slang
+
+//DIAGNOSTIC_TEST:SIMPLE:
+
+// Regression test to confirm that type checker
+// doesn't report warnings for these constant coercions.
+
+struct BoolG<let v : bool>
+{ }
+
+struct Test<let v : uint>
+{
+    int arr[v];
+}
+
+static const uint uv = 5;
+
+void t()
+{
+    BoolG<true> gt;
+    BoolG<bool(1)> gt2;
+    BoolG<1 != 2> gt3;
+    Test<uv> v;
+}
\ No newline at end of file
-- 
cgit v1.2.3