A modern programming language that makes developers happier.

kotlinlang

image.png

<@UQ8NE6A86> Not sure if this is intended or a bug, but in the IDE a smart-cast works that fails in jupyter:

Where the class of `it` is declared in both cases? I believe that if you define it in the same cell, everything should be fine.
See also <https://discuss.kotlinlang.org/t/what-is-the-reason-behind-smart-cast-being-impossible-to-perform-when-referenced-class-is-in-another-module/2201|https://discuss.kotlinlang.org/t/what-is-the-reason-behind-smart-cast-being-impossible-to-perform-when-referenced-class-is-in-another-module/2201>

In a jar dependency that I load with @file:DependsOn. Not sure how to do it differently.

Smart-casts usually do not work for external dependencies. Maybe this is the problem.

Jar dependency is obviously an external module