module M
{
  Main() : void 
  {
    def foo[T]()
    { 
        def bar[S]() where S : T
        {
        }
        
        bar
    }
    
    _ = foo();
  }
}

Microsoft (R) .NET Framework PE Verifier. Version 4.0.30319.1
Copyright (c) Microsoft Corporation. All rights reserved.

[token 0x02000002] Type load failed.
[IL]: Error: [ConsoleApplication1.exe : M+_N__N_poly_lambda_for_bar__2923`1[T]::apply_void][offset 0x00000000] Unable to resolve token.
2 Error(s) Verifying ConsoleApplication1.exe

Здравствуйте, nikov, Вы писали:

N> Main() : void
N> {
N> def foo[T]()
N> {
N> def bar[S]() where S : T
N> {
N> }

N> bar
N> }

Не уверен, что локальным функциям вообще нужны гернерики.

Здравствуйте, BogdanMart, Вы писали:

BM>Не уверен, что локальным функциям вообще нужны гернерики.

Учитывая, что баги имеются с ними еще давно: issue 661, issue 838

Тут или их убрать или починить