Narrowing

After a nil check, Soppo automatically narrows nilable types to non-nilable. The compiler tracks control flow to know when a value can't be nil.

This works with if checks and early returns. Once the compiler proves a value is non-nil, you can use it without further checks.

Try it: Remove the nil check and see the compiler error.