Agreement tests:
check_both( \\var arr: [10]i64 = undefined; \\arr[0] = 42; arr[1] = 99; \\arr[0] + arr[1] , 141);