// May use a constructed type as constraint. class Test { } class Foo where T : Test { } class X { public static void Main () { } }