The type of `inherited` is `InheritedType`. If this worked, then `thisFunctionDoesntWork` could set the variable to a `BaseType`, which would break type safety.
This works:
var inherited: BaseType = InheritedType(...)
Run
