On Tuesday, 26 January 2016 at 15:54:14 UTC, Voitech wrote:
How to handle this correctly?
Make BaseParser the value type of the AA. Parser!Foo and Parser!Bar are subtypes of BaseParser.
Unlike Java, just `Parser` is not a type but a template. It must be instantiated to create a type. Java implements generics differently from templates, with its own set of disadvantages and advantages.