core-typed 2018-05-29

@whilo has joined the channel

The type annotation inference is pretty cool, but Java interop still screws me.

When I do ^:no-check on str->md5 everything works fine.

Regarding Java interop, probably an IDE helper adding the non-nil-return form could also help. I guess there is no static analysis of Java bytecode doable to determine nillable types (?).