projects
strato
things to consider
disallow calling base class constructors
as it currently stands, a ttFnCall to a ttConstructor may be a constructor of a base class if the specific class doesn't have a (matching!) constructor.
It is now rigged so that ttFnCall uses EvaluatesTo in this case, but would it be better to not allow to 'jump' to an inherited class and find the constructors there, demanding 'plain' pass-through constructors to make classes 'createable', and leave a class without specific constructors 'uncreatable'
reports