```c struct Foo { int i; } fn void Foo[].method(Foo[] slice) { } def foo_arr_is_empty = Foo[].method; // Error: 'Foo[]' does not have a property 'method'. ```