Re: type inference cannot guess.

On 5/11/06, mei <mei@xxxxxxxxxxxxxxxx> 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ł