Reuse generic Type of Concept as field Type of another generic Type

[jcosborn]

This seems to work
    
    
    type
      AnyFoo[T] = concept foo
        foo.color is T
      
      TheFoo = object
        color: int
      
      Bar[F] = object of RootObj
        foo: F
        x: typeof(F.color)
    
    var
      f: TheFoo
      b: Bar[TheFoo]
    
    f.color = 10
    b.foo = f
    
    echo typeof(b)
    echo typeof(b.foo.color)
    echo typeof(f)
    
    
    Run