Nested type declarations

[LenkyDev]

Allow us to nest types in other types.

my_class := class {
  state := enum { … }
  delegate := interface { … }

  var State: state = …
  var Delegate: ?delegate = false
}

my_other_class := class(my_class.delegate) { … }

Prefixing every type that’s meant to be nested creates very long type names.

---

Knight Breaker

[KnightBreaker]

This feature is not trivial especially when nesting generic types. Therefore one could consider to permit nesting within a generic type, unless it does not directly capture but possibly only alias the generic type. Nesting a generic type in a non-generic type is fine.

[sprintermax]

I can see lots of usages where it can be useful, for greanullar and modular implementations, to custom type/data classes with types constrained only inside them and so on...