Merge: typing: new warning `useless-truism` to catch trainees.
authorJean Privat <jean@pryen.org>
Tue, 18 Jul 2017 12:38:12 +0000 (08:38 -0400)
committerJean Privat <jean@pryen.org>
Tue, 18 Jul 2017 12:38:12 +0000 (08:38 -0400)
Warning on `if a == true then` constructions.

Pull-Request: #2520
Reviewed-by: Jean-Christophe Beaupré <jcbrinfo.public@gmail.com>

1  2 
src/model/model.nit

Simple merge