ton/tolk-tester/tests/invalid-call-10.tolk

fun takeInvalidTuple(t: [int, (int, builder), int]) {
}

fun main() {
    takeInvalidTuple([1, (2, beginCell()), 0]);
}

/**
@compilation_should_fail
@stderr can not put `(int, builder)` into a tuple, because it occupies 2 stack slots in TVM, not 1
 */
[Tolk] Support syntax `tensorVar.0` and `tupleVar.0` It works both for reading and writing: > var t = (1, 2); > t.0; // 1 > t.0 = 5; > t; // (5, 2) It also works for typed/untyped tuples, producing INDEX and SETINDEX. Global tensors and tuples works. Nesting `t.0.1.2` works. `mutate` works. Even mixing tuples inside tensors inside a global for writing works. 2025-01-27 07:29:17 +00:00			`fun takeInvalidTuple(t: [int, (int, builder), int]) {`
			`}`

			`fun main() {`
			`takeInvalidTuple([1, (2, beginCell()), 0]);`
			`}`

			`/**`
			`@compilation_should_fail`
			@stderr can not put `(int, builder)` into a tuple, because it occupies 2 stack slots in TVM, not 1
			`*/`