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