a smart cast is applied when it is necessary to fix a type mismatch situation.

val ai = key

is not a type mismatch situation, so

ai

will be

Any