mirror of
https://github.com/nim-lang/Nim.git
synced 2025-12-28 17:04:41 +00:00
316141162b
closes #6013, closes #7009, closes #9190, closes #12487, closes #12831,
closes #13184, closes #13252, closes #14860, closes #14877, closes
#14894, closes #14917, closes #16153, closes #16439, closes #17779,
closes #18074, closes #18202, closes #18314, closes #18648, closes
#19063, closes #19446, closes #20065, closes #20367, closes #22126,
closes #22820, closes #22888, closes #23020, closes #23287, closes
#23510
(cherry picked from commit aeb3fe9505)
15 lines
251 B
Nim
15 lines
251 B
Nim
# issue #23020
|
|
|
|
proc n[T: bool](k: int | int) =
|
|
#static:
|
|
# doAssert T is bool
|
|
# doAssert T isnot int
|
|
|
|
# And runtime
|
|
block:
|
|
doAssert T is bool
|
|
doAssert T isnot int
|
|
|
|
n[int](0) #[tt.Error
|
|
^ type mismatch: got <int literal(0)>]#
|