So should I create a ticket for this? Currently, t...

# language-proposals

[juangamnik]

So should I create a ticket for this? Currently, the smartcast does a cast to the concrete type and although this must be a subtype of T by definition, it looses this information and cannot be returned since (in my example) TemporalAction is not a subtype of T, which is on the declaration-site some subtype of Action...