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 an error since Something isn't a valid Test
b[0].name = "Test" #[tt.Error
 ^  expression '' has no type (or is ambiguous)]#