Polymorphic functions broken

[ergawy]

The following code generates an assertion at /impala/src/impala/sema/unifiable.h, Line 529:

fn f1[T](input: T) -> () {}
fn f2[T](input: T) -> () {}

[leissa]

Thanks for reporting. We will not fix this in current master branch. Plz wait until our infer branch gets mature enough to be merged with master. Unfortunately, this will take some time. So plz be patient. I'll keep this bug report open until it works in infer and infer has been merged.