nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d084ef3) | patch
lib/a_star: avoid bad autocast
authorJean Privat <jean@pryen.org>
Sat, 11 Apr 2015 17:11:40 +0000 (00:11 +0700)
committerJean Privat <jean@pryen.org>
Tue, 14 Apr 2015 09:31:36 +0000 (16:31 +0700)
commitbdff5d43f5108f403fa094c06d1236bb3f6986f6
treea94f1a323b15088045d660be14f07cda19512caatree | snapshot
parentd084ef374360fd480466b75112919619a3c40ffacommit | diff
lib/a_star: avoid bad autocast

Seriously, this one case might be a strong argument against autocasts

~~~
frontier_node = frontier_node.best_source.as(not null)
~~~

is auto-casted as

~~~
frontier_node = frontier_node.best_source.as(not null).as(N)
~~~

bun since the N is `nullable Node`, the not-null information was lost in the
cast.

Signed-off-by: Jean Privat <jean@pryen.org>
lib/a_star.nit diff | blob | history
Nit language project; an oo programing language and its tool suite.