Type checking a "Context" with Nim compiler

compiler_context_typechecking.nim

type
    Context*[T] = ref object
        nodes: seq[T]

    Variable*[T; C: static[Context[T]]] = object
        tape: Context[T]
        index: int
        value: T

proc newContext*[T]: Context[T] {.noSideEffect.} =
  new result
  result.nodes = newSeq[T]()

let a = newContext[float32]()

let b = newContext[float32]()

echo a == b