``` fun foo(bar: Long) { ... } //elsewhere: fun wh...

# announcements

[Benoit Duffez]

fun foo(bar: Long) { ... }
//elsewhere:
fun whatever(baz: Long?) = return when {
  baz ?: 0 > 0 -> foo(baz) // here
  else -> null
}

why is there no smart cast for baz being non null here?

[karelpeeters]

The compiler simply doesn't try to be too smart about stuff like this.

[Benoit Duffez]

OK, thanks for the reply

[Benoit Duffez]

I don't like the !! operator but I guess it is safe here.

[karelpeeters]

Can't you just do baz != null && baz > 0 or something?

[hudsonb]

Or maybe change whatever to whatever(baz: Long) and use baz ?: 0 at the call site.

[Benoit Duffez]

the question was more about why the compiler doesn't smart cast rather than how to deal with the consequences

[kingsley]

But there’s nothing to smart-cast. If baz was null, it still continues to be null

[karelpeeters]

Yes, but if baz ?: 0 > 0 then baz is certainly not null.

[kingsley]

Aha. Right. Missed that