Can we get the second bugfix reverted? It was incredibly useful and could be used to implement mutables in parametric classes. Since this is being prevented now and we got no substitution, some projects broke and can’t be fixed.
I basically used it like this:
base_class:=class:
var Value: any
GetValue(): any = Value
sub_class(t: type):=class(base_class):
GetValue(): t = (super:)GetValue()
SetValue(InValue: t): void = set Value = InValue
Now this is impossible to fix. When i reported this bug, i also begged to not fix it without providing an alternative solution, like mutable fields for parametrics 