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)
commitfcfc0701535b3816c8cb6e5a898f965f1a6b4523
tree48ab681a28d01eb5814509b850d26a88e679f37f
parent10463758c329cda58809ce75d6f6427ef9825c81
parent6a7aa3d7bb1899ecd82bb304c5a8a30cd025c11a
Merge: typing: new warning `useless-truism` to catch trainees.

Warning on `if a == true then` constructions.

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