Компиляция перестала работать, если определения делегата помещаются в другой проект?

Интересно. Я думаю , что вы нашли настоящую ошибку в компиляторе C # - хотя я могу упустить кое-что тонкое. Я написал немного упрощенную версию, которая избегает возможных перегрузок и т. Д., Вступающих в игру, и которая обходится без дополнительного метода:

// Definitions.cs
public interface IData { }
public delegate IData Foo(IData input);
public delegate IData Bar<T>(IData input, T extraInfo);
public delegate Foo Produce<T>(Bar<T> next);

// Test.cs
class Test
{
    static void Main()
    {
        Produce<string> produce = 
            next => input => next(input, "This string should appear.");
    }    
}

Демонстрация компиляции как одной сборки без ошибок:

> csc Test.cs Definitions.cs

Демонстрация компиляции как двух сборок с ошибки:

> csc /target:library Definitions.cs
> csc Test.cs /r:Definitions.dll

Test.cs(5,43): error CS1662: Cannot convert lambda expression 
        to delegate type 'Produce<string>'
        because some of the return types in the block are not 
        implicitly convertible to the delegate return type
Test.cs(5,52): error CS1593: Delegate 'Bar' does not take 2 arguments

Я не могу придумать какой-либо причины, почему это должно быть разным для разных сборок, поскольку все является общедоступным. В спецификации редко говорится о границах сборки, кроме как по внутренним причинам.

Интересно, что я получаю одну и ту же ошибку для компиляторов C # 3 и 4.

Напишите Эрику и Мэдсу по электронной почте ...

РЕДАКТИРОВАТЬ: Обратите внимание, что вы можете обойти это, используя явный список параметров. Например, в моем примере кода это будет работать:

Produce<string> produce =
    (Bar<string> next) => input => next(input, "This string should appear.");