# case 1
proc f(s:string) {.compileTime.} = echo s
let s {.compileTime.} = "hello world"
f(s)
# should be
# const S = f(s)
# echo s

# case 2
proc f(s:static[string]) =
  static:
    echo s
  discard
let s {.compileTime.} = "hello world"
f(s)