scala/scala — pull request #1758 by hubertp (2012-12-12 08:35:08+00:00)
Title: When we strip tvars we should also recursively strip their instantiation...

...s

as they can be tvars as well.
Otherwise our list of lub base types can be empty.
After this fix value x3 in the test case compiles.

review by @adriaanm