using System.Console; class A { public P : void { get { } } } when (A().P is ()) WriteLine("void");
class A { public Item[T][x : int] : int { get { 0 } } }