Nim/tests/generics/tuninstantiated_failure.nim

discard """
cmd: "nim check $file"
"""

type
  Test[T, K] = object
    name: string
  Something = Test[int]

func `[]`[T, K](x: var Test[T, K], idx: int): var Test[T, K] =
  x

var b: Something
# Should give a type-mismatch since Something isn't a valid Test
b[0].name = "Test" #[tt.Error
            ^  type mismatch]#