Nim/tests/overload/t8829.nim

block:
  let txt = "Hello World"

  template `[]`[T](p: ptr T, span: Slice[int]): untyped =
    toOpenArray(cast[ptr UncheckedArray[T]](p), span.a, span.b)

  doAssert $cast[ptr uint8](txt[0].addr)[0 ..< txt.len] == 
                "[72, 101, 108, 108, 111, 32, 87, 111, 114, 108, 100]"


block:
  let txt = "Hello World"

  template `[]`[T](p: ptr T, span: Slice[int]): untyped =
    toOpenArray(cast[ptr UncheckedArray[T]](p), span.a, span.b)

  doAssert $cast[ptr uint8](txt[0].addr)[0 ..< txt.len] == 
                "[72, 101, 108, 108, 111, 32, 87, 111, 114, 108, 100]"