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

...