mirror of
https://github.com/nim-lang/Nim.git
synced 2026-01-04 20:17:42 +00:00
aeb3fe9505
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
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)>]#
|