[nem-en] type inference cannot guess.

[Michal Moskal]

On 5/11/06, mei <mei at work.email.ne.jp> wrote:
> type inference cannot guess this.

This is quite strange. The self contained example is:

using System;

delegate fn[T] () : T;
delegate fn[R,T] (_:R) : T;
delegate fn[R,S,T] (_:R,_:S) : T;

module X {
  public wh[T](predicate : fn[T, int, bool]) : void
  {  }
  public wh[T](predicate : fn[T, bool]) : void
  {  }
}


X.wh (x => x % 2 == 0);


strangely removal of the first delegate cures the problem.

I will work on it, but please fill such issues in the BTS.

-- 
   Michał