Nim/tests/pragmas/tnoreturn.nim

discard """
ccodeCheck: "\\i @'__attribute__((noreturn))' .*"
action: compile
"""

proc noret1*(i: int) {.noreturn.} =
  echo i


proc noret2*(i: int): void {.noreturn.} =
  echo i

if true: noret1(1)
if true: noret2(2)

var p {.used.}: proc(i: int): int
doAssert(not compiles(
  p = proc(i: int): int {.noreturn.} = i # noreturn lambda returns int
))


doAssert(not compiles(
  block:
    noret1(5)
    echo 1 # statement after noreturn
))