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

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

N> bar
N> }

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