Items losing type parameters over course of typechecking pass.

c953c16
Opened by Roy Frostig at 2010-07-16 22:08:20

Fix the issue revealed in run-pass/generic-fn-twice.rs. Functions in modules (perhaps more generally items in items) appear to lose their recollection of having any type parameters after their first type unification.

  1. New typechecker fixes this. Un-XFAILed as of revision 35e73b0.

    Patrick Walton at 2010-07-16 22:08:20