when I have some incoming platform type like so: ...

# announcements

[poohbar]

when I have some incoming platform type like so:

val header = request.getHeader("xyz")

I see that header has an inferred type of String! ... is this okay? what happens if getHeader returns null?

[diesieben07]

If getHeader returns null and you try to call something on header, you get a NullPointerException.

[diesieben07]

If you declare header as String explicitly, you will get the NPE immediately on assignment instead.

[poohbar]

I see. Thank you.