Scripting - Compiler - Generic Types

[vurvdev]

type Generic<T> = T;
type GenericWithBound<T extends number> = T;

[vurvdev]

Need to move the logic from only in the parser, and immediately resolved by the analyzer, to also storing the operations in the analyzed Type. Then, on every satisfies, it will work with any generics given, otherwise falling back to the bound, otherwise failing entirely.