langkit/testsuite/tests/properties/invalid_array_of_array/foo.lkt

from lexer_example import foo_lexer

@with_lexer(foo_lexer)
grammar foo_grammar {
    @main_rule main_rule <- Example("example")
}

class FooNode implements Node[FooNode] {
}

class Example: FooNode {
    @exported fun array_of_nodes(): Array[Example] = node.singleton()

    @exported fun array_of_arary(): Array[Array[Example]] =
        node.singleton().singleton()
}