From f2fc8861fe241683ccc4bf026fbeeefe6ba1e04e Mon Sep 17 00:00:00 2001 From: Kimplul Date: Wed, 23 Jul 2025 18:35:18 +0300 Subject: check const types with static_assert --- tests/xfail/val.c | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 tests/xfail/val.c (limited to 'tests/xfail/val.c') diff --git a/tests/xfail/val.c b/tests/xfail/val.c new file mode 100644 index 0000000..d231a4a --- /dev/null +++ b/tests/xfail/val.c @@ -0,0 +1,18 @@ +#include + +typedef tmpl[](int v){ + int <>_ok() + { + return v; + } +}; + +/* float vs int, should fail */ +typedef inst = tmpl[](20.0); + +int main() +{ + int ok = inst_ok(); + if (ok == 20) + puts("OK"); +} -- cgit v1.2.3