From: Jean Privat <jean@pryen.org>
Date: Mon, 28 Jul 2014 18:29:19 +0000 (-0400)
Subject: Merge: type works: handle implicitly fixed formal parameters
X-Git-Tag: v0.6.7~16
X-Git-Url: http://nitlanguage.org

Merge: type works: handle implicitly fixed formal parameters

~~~
class G[E: Int]
   # Here, since Int cannot have a subclass, then E == Int (implicitly fixed)
end
~~~

This series enhance the type system to understand this case, and give the user a warning when bounding formal parameter with final classes.

Pull-Request: #618
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>
---

c4dad802d53fca28d42e34d61e0359b7797d1563