The following code throws ArgumentException: def x = [] : list[int]; _ = x.Head It is a quite strange, because method get_Head() accepts no arguments. IMO, InvalidOperationException is more suitable here.