privat/nit — pull request #618 by privat (2014-07-24 18:41:47+00:00)
Title: 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.