gistfile1.nim

type
  Indexable* [T] = generic X
    high(X) is int
    #T is int
    X is seq[int]
    #X[0] is T # causes failure..
    
template echoCode (expression): stmt =
  echo astToStr(expression), ": ", expression

template tc_test (ty, tyclass; body:stmt): stmt =
  when ty is tyclass:
    body
  else:
    echo astToSTr(ty), " not match ", astToStr(tyclass)


proc last* [T] (some: Indexable[T]): T = some[high(some)]


echocode seq[int] is indexable[int]
when true:
 tc_test(seq[int], indexable[int]):
  var s = @[1,2,3]
  echo s.last



type
  # cant get this to work at all
  Arrlike[T] = generic x
    true#T is int
    #x is array[4,T]
    #x[0] is T

echoCode array[4,int] is ArrLike