<!-- upperBoundViolatedInTypeAliasConstructorCall1 -->
Type parameter bound for Tn in type inferred from type alias expansion for fun <T> <init>(x: T): Num<T>
 is not satisfied: inferred type String is not a subtype of Number