git.delta.rocks / jrsonnet / refs/commits / a12d03f794be

--- a/tests/cpp_test_suite_golden_override/error.06.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.06.jsonnet.golden
@@ -1,3 +1,2 @@
 attempted to divide by zero
-    error.06.jsonnet:18:22-26: local <err> access
-    error.06.jsonnet:19:2-5:   function <f> call
\ No newline at end of file
+    error.06.jsonnet:19:2-5: function <f> call
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.07.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.07.jsonnet.golden
@@ -1,4 +1,4 @@
 runtime error: sarcasm
     error.07.jsonnet:18:31-37: error statement
-    error.07.jsonnet:18:20-55: function <third> call
-    error.07.jsonnet:19:1-7:   local <toxic> access
\ No newline at end of file
+    error.07.jsonnet:17:33-35: element <3> access
+    error.07.jsonnet:18:20-55: function <third> call
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.args_commafodder.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.args_commafodder.jsonnet.golden
@@ -1,2 +1 @@
-local is not defined: foo
-    error.args_commafodder.jsonnet:1:1-5: local <foo> access
\ No newline at end of file
+static analysis errors: undefined local: foo; undefined local: bar; undefined local: qux
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.array_index_string.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.array_index_string.jsonnet.golden
@@ -1 +1 @@
-attempted to index array with string foo
\ No newline at end of file
+array index type should be string, got string
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.array_large_index.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.array_large_index.jsonnet.golden
@@ -1 +1 @@
-array out of bounds: 9223372036854775807 is not within [0,3)
\ No newline at end of file
+array out of bounds: 4294967295 is not within [0,3)
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.computed_field_scope.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.computed_field_scope.jsonnet.golden
@@ -1,3 +1 @@
-local is not defined: x
-    error.computed_field_scope.jsonnet:17:21-23: local <x> access
-    error.computed_field_scope.jsonnet:17:20-24: evaluating field name
\ No newline at end of file
+static analysis errors: undefined local: x; unused local: x
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.field_not_exist.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.field_not_exist.jsonnet.golden
@@ -1,2 +1 @@
-no such field: y
-    error.field_not_exist.jsonnet:17:10-12: field <y> access
\ No newline at end of file
+no such field: y
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.function_duplicate_arg.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.function_duplicate_arg.jsonnet.golden
@@ -1,2 +1,2 @@
 argument x is already bound
-    error.function_duplicate_arg.jsonnet:17:21-30: function <anonymous> call
\ No newline at end of file
+    error.function_duplicate_arg.jsonnet:17:21-30: function <anonymous> preparation
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.function_infinite_default.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.function_infinite_default.jsonnet.golden
@@ -1,5 +1,2 @@
 infinite recursion detected
-    error.function_infinite_default.jsonnet:17:17-19: local <x> access
-    error.function_infinite_default.jsonnet:17:12-14: local <y> access
-    error.function_infinite_default.jsonnet:17:20-22: local <x> access
     during TLA call
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.function_no_default_arg.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.function_no_default_arg.jsonnet.golden
@@ -1,3 +1,3 @@
-function argument is not passed: a
+function argument is not passed: b
 Function has the following signature: (a = <default>, b)
     during TLA call
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.function_too_many_args.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.function_too_many_args.jsonnet.golden
@@ -1,3 +1,3 @@
 too many args, function has 2
 Function has the following signature: (a, b)
-    error.function_too_many_args.jsonnet:19:4-14: function <foo> call
\ No newline at end of file
+    error.function_too_many_args.jsonnet:19:4-14: function <foo> preparation
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.import_static-check-failure.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.import_static-check-failure.jsonnet.golden
@@ -1,3 +1,2 @@
-local is not defined: x
-    static_check_failure.jsonnet:2:1-3:              local <x> access
-    error.import_static-check-failure.jsonnet:1:1-8: import "lib/static_check_failure.jsonnet"
\ No newline at end of file
+static analysis errors: undefined local: x
+    error.import_static-check-failure.jsonnet:1:1-8: import
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.import_syntax-error.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.import_syntax-error.jsonnet.golden
@@ -1,3 +1,3 @@
-syntax error: expected one of "\\\\", "\\u", "\\x", ['"'], ['\\'], [_], got "EOF"
-    syntax_error.jsonnet:1:3
-    error.import_syntax-error.jsonnet:1:1-8: import "lib/syntax_error.jsonnet"
\ No newline at end of file
+syntax error: unterminated double-quoted string
+    syntax_error.jsonnet:1:1
+    error.import_syntax-error.jsonnet:1:1-8: import
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.integer_conversion.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.integer_conversion.jsonnet.golden
@@ -1 +1 @@
-runtime error: numberic value outside of safe integer range for bitwise operation
\ No newline at end of file
+convert num value: float out of safe int range
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.integer_left_shift.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.integer_left_shift.jsonnet.golden
@@ -1 +1 @@
-runtime error: numberic value outside of safe integer range for bitwise operation
\ No newline at end of file
+convert num value: float out of safe int range
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.invariant.option.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.invariant.option.jsonnet.golden
@@ -3,4 +3,4 @@
     error.invariant.option.jsonnet:19:33-56: function <builtin_set_inter> call
     argument <x> evaluation
     error.invariant.option.jsonnet:19:20-57: function <builtin_length> call
-    error.invariant.option.jsonnet:19:10-61: assertion condition
\ No newline at end of file
+    assertion condition
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.invariant.simple3.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.invariant.simple3.jsonnet.golden
@@ -1,3 +1,3 @@
 runtime error: my error message
     error.invariant.simple3.jsonnet:18:10-16: error statement
-    error.invariant.simple3.jsonnet:18:10-35: assertion condition
\ No newline at end of file
+    assertion condition
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.manifest_toml_null_value.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.manifest_toml_null_value.jsonnet.golden
@@ -1,2 +1,5 @@
 runtime error: tried to manifest null
+    table <c> manifestification
+    section <b> manifestification
+    section <a> manifestification
     error.manifest_toml_null_value.jsonnet:17:19-55: function <builtin_manifest_toml_ex> call
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.overflow.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.overflow.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: numbers are finite
-    error.overflow.jsonnet:17:6
\ No newline at end of file
+syntax error: invalid number value: non-finite
+    error.overflow.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.overflow3.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.overflow3.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: numbers are finite
-    error.overflow3.jsonnet:17:6
\ No newline at end of file
+syntax error: invalid number value: non-finite
+    error.overflow3.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.array_comma.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.array_comma.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected R_BRACK, got "3"
+syntax error: expected ']', got number "3"
     error.parse.array_comma.jsonnet:17:7
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.import_not_literal.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.import_not_literal.jsonnet.golden
@@ -1 +1 @@
-runtime error: computed imports are not supported
\ No newline at end of file
+static analysis errors: import path must be a string literal
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.index_unterminated.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.index_unterminated.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token in expression: EOF
+syntax error: unexpected end of file
     error.parse.index_unterminated.jsonnet:17:3
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.method_plus.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.method_plus.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected COLON, got "+"
+syntax error: expected ':', got '+'
     error.parse.method_plus.jsonnet:17:18
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.object_comma.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.object_comma.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected R_BRACE, got "z"
+syntax error: expected '}', got identifier "z"
     error.parse.object_comma.jsonnet:17:11
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.object_comprehension_local_clash.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.object_comprehension_local_clash.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected R_BRACE, got ":"
+syntax error: expected '}', got ':'
     error.parse.object_comprehension_local_clash.jsonnet:17:29
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.self_in_computed_field.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.self_in_computed_field.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected field name, got SELF_KW
+syntax error: expected field name, got 'self'
     error.parse.self_in_computed_field.jsonnet:17:15
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.static_error_bad_number.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.static_error_bad_number.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token in expression: DOT
+syntax error: unexpected '.'
     error.parse.static_error_bad_number.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.string.invalid_escape_unicode_short.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.string.invalid_escape_unicode_short.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_DOUBLE_UNTERMINATED
+syntax error: unterminated double-quoted string
     error.parse.string.invalid_escape_unicode_short.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.string.invalid_escape_unicode_short3.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.string.invalid_escape_unicode_short3.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_DOUBLE_UNTERMINATED
+syntax error: unterminated double-quoted string
     error.parse.string.invalid_escape_unicode_short3.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.string.unfinished.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.string.unfinished.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_DOUBLE_UNTERMINATED
+syntax error: unterminated double-quoted string
     error.parse.string.unfinished.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.string.unfinished2.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.string.unfinished2.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_SINGLE_UNTERMINATED
+syntax error: unterminated single-quoted string
     error.parse.string.unfinished2.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.string_multi_no_newline.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.string_multi_no_newline.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_BLOCK_MISSING_NEW_LINE
+syntax error: text block requires new line after |||
     error.parse.string_multi_no_newline.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.text_block_bad_whitespace.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.text_block_bad_whitespace.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_BLOCK_MISSING_TERMINATION
+syntax error: unterminated text block
     error.parse.text_block_bad_whitespace.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.text_block_eof.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.text_block_eof.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_BLOCK_UNEXPECTED_END
+syntax error: unexpected end of text block
     error.parse.text_block_eof.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.parse.text_block_not_terminated.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.parse.text_block_not_terminated.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: unexpected token: ERROR_STRING_BLOCK_UNEXPECTED_END
+syntax error: unexpected end of text block
     error.parse.text_block_not_terminated.jsonnet:17:1
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.recursive_import.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.recursive_import.jsonnet.golden
@@ -1,2 +1,2 @@
 infinite recursion detected
-    error.recursive_import.jsonnet:17:15-22: import "error.recursive_import.jsonnet"
\ No newline at end of file
+    error.recursive_import.jsonnet:17:15-22: import
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.static_error_self.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.static_error_self.jsonnet.golden
@@ -1,2 +1 @@
-self/super/$ are only usable inside objects
-    elem <0> evaluation
\ No newline at end of file
+static analysis errors: `self` used outside of object
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.static_error_super.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.static_error_super.jsonnet.golden
@@ -1,2 +1 @@
-self/super/$ are only usable inside objects
-    elem <0> evaluation
\ No newline at end of file
+static analysis errors: `super` used outside of object
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.static_error_var_not_exist.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.static_error_var_not_exist.jsonnet.golden
@@ -1,3 +1,2 @@
-local is not defined: tmp2
-There is a local with similar name present: tmp
-    error.static_error_var_not_exist.jsonnet:17:16-21: local <tmp2> access
\ No newline at end of file
+static analysis errors: undefined local: tmp2
+There is a local with similar name present: tmp; unused local: tmp
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.std_makeArray_negative.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.std_makeArray_negative.jsonnet.golden
@@ -1,3 +1,3 @@
-type error: number out of bounds: -10 not in 0..2147483647
+type error: number out of bounds: -10 not in 0..4294967295
     argument <sz> evaluation
     error.std_makeArray_negative.jsonnet:17:14-38: function <builtin_make_array> call
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.trace_three_param.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.trace_three_param.jsonnet.golden
@@ -1,5 +1,4 @@
 too many args, function has 2
 Function has the following signature: (str, rest = <default>)
-    error.trace_three_param.jsonnet:17:20-33: function <builtin_trace> call
-    error.trace_three_param.jsonnet:19:6-8:   local <v> access
+    error.trace_three_param.jsonnet:17:20-33: function <builtin_trace> preparation
     field <a> evaluation
\ No newline at end of file

--- a/tests/cpp_test_suite_golden_override/error.trace_zero_param.jsonnet.golden
+++ b/tests/cpp_test_suite_golden_override/error.trace_zero_param.jsonnet.golden
@@ -1,5 +1,4 @@
 function argument is not passed: str
 Function has the following signature: (str, rest = <default>)
-    error.trace_zero_param.jsonnet:17:20-23: function <builtin_trace> call
-    error.trace_zero_param.jsonnet:19:6-8:   local <v> access
+    error.trace_zero_param.jsonnet:17:20-23: function <builtin_trace> preparation
     field <a> evaluation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/arrcomp5.jsonnet.golden
+++ b/tests/go_testdata_golden_override/arrcomp5.jsonnet.golden
@@ -1,4 +1 @@
-local is not defined: x
-    arrcomp5.jsonnet:1:14-16: local <x> access
-    arrcomp5.jsonnet:1:2-4:   local <y> access
-    elem <0> evaluation
\ No newline at end of file
+static analysis errors: undefined local: x; unused local: x
\ No newline at end of file

--- a/tests/go_testdata_golden_override/arrcomp_if4.jsonnet.golden
+++ b/tests/go_testdata_golden_override/arrcomp_if4.jsonnet.golden
@@ -1,2 +1 @@
-local is not defined: y
-    arrcomp_if4.jsonnet:1:33-35: local <y> access
\ No newline at end of file
+static analysis errors: undefined local: y; local could be hoisted to an outer scope: y
\ No newline at end of file

--- a/tests/go_testdata_golden_override/arrcomp_if7.jsonnet.golden
+++ b/tests/go_testdata_golden_override/arrcomp_if7.jsonnet.golden
@@ -1 +1 @@
-type error: expected boolean, got number
\ No newline at end of file
+type mismatch: expected boolean, got number if spec condition
\ No newline at end of file

--- a/tests/go_testdata_golden_override/bad_function_call.jsonnet.golden
+++ b/tests/go_testdata_golden_override/bad_function_call.jsonnet.golden
@@ -1,3 +1,3 @@
 function argument is not passed: x
 Function has the following signature: (x)
-    bad_function_call.jsonnet:1:16-19: function <anonymous> call
\ No newline at end of file
+    bad_function_call.jsonnet:1:16-19: function <anonymous> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/bad_function_call2.jsonnet.golden
+++ b/tests/go_testdata_golden_override/bad_function_call2.jsonnet.golden
@@ -1,3 +1,3 @@
 too many args, function has 1
 Function has the following signature: (x)
-    bad_function_call2.jsonnet:1:16-23: function <anonymous> call
\ No newline at end of file
+    bad_function_call2.jsonnet:1:16-23: function <anonymous> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/bad_function_call_and_error.jsonnet.golden
+++ b/tests/go_testdata_golden_override/bad_function_call_and_error.jsonnet.golden
@@ -1,3 +1,3 @@
 too many args, function has 1
 Function has the following signature: (x)
-    bad_function_call_and_error.jsonnet:1:16-39: function <anonymous> call
\ No newline at end of file
+    bad_function_call_and_error.jsonnet:1:16-39: function <anonymous> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/bad_index_array.jsonnet.golden
+++ b/tests/go_testdata_golden_override/bad_index_array.jsonnet.golden
@@ -1 +1 @@
-attempted to index array with string xxx
\ No newline at end of file
+array index type should be string, got string
\ No newline at end of file

--- a/tests/go_testdata_golden_override/bad_index_string.jsonnet.golden
+++ b/tests/go_testdata_golden_override/bad_index_string.jsonnet.golden
@@ -1 +1 @@
-string index type should be number, got string
\ No newline at end of file
+string index type should be string, got string
\ No newline at end of file

--- a/tests/go_testdata_golden_override/bitwise_and3.jsonnet.golden
+++ b/tests/go_testdata_golden_override/bitwise_and3.jsonnet.golden
@@ -1 +1 @@
-runtime error: numberic value outside of safe integer range for bitwise operation
\ No newline at end of file
+convert num value: float out of safe int range
\ No newline at end of file

--- a/tests/go_testdata_golden_override/bitwise_and7.jsonnet.golden
+++ b/tests/go_testdata_golden_override/bitwise_and7.jsonnet.golden
@@ -1 +1 @@
-runtime error: numberic value outside of safe integer range for bitwise operation
\ No newline at end of file
+convert num value: float out of safe int range
\ No newline at end of file

--- a/tests/go_testdata_golden_override/builtinObjectRemoveKey_super_assert.jsonnet.golden
+++ b/tests/go_testdata_golden_override/builtinObjectRemoveKey_super_assert.jsonnet.golden
@@ -1,3 +1,2 @@
 no such field: x
-    builtinObjectRemoveKey_super_assert.jsonnet:2:15-17: field <x> access
-    builtinObjectRemoveKey_super_assert.jsonnet:2:10-17: assertion condition
\ No newline at end of file
+    assertion condition
\ No newline at end of file

--- a/tests/go_testdata_golden_override/dollar_bad.jsonnet.golden
+++ b/tests/go_testdata_golden_override/dollar_bad.jsonnet.golden
@@ -1 +1 @@
-self/super/$ are only usable inside objects
\ No newline at end of file
+static analysis errors: `$` used outside of object
\ No newline at end of file

--- a/tests/go_testdata_golden_override/double_thunk.jsonnet.golden
+++ b/tests/go_testdata_golden_override/double_thunk.jsonnet.golden
@@ -1,4 +1,2 @@
 runtime error: xxx
-    double_thunk.jsonnet:1:21-27: error statement
-    double_thunk.jsonnet:1:34-36: local <y> access
-    double_thunk.jsonnet:1:37-39: local <x> access
\ No newline at end of file
+    double_thunk.jsonnet:1:21-27: error statement
\ No newline at end of file

--- a/tests/go_testdata_golden_override/error_from_array.jsonnet.golden
+++ b/tests/go_testdata_golden_override/error_from_array.jsonnet.golden
@@ -1,2 +1,3 @@
 runtime error: xxx
-    error_from_array.jsonnet:1:2-8: error statement
\ No newline at end of file
+    error_from_array.jsonnet:1:2-8:   error statement
+    error_from_array.jsonnet:1:15-17: element <0> access
\ No newline at end of file

--- a/tests/go_testdata_golden_override/error_hexnumber.jsonnet.golden
+++ b/tests/go_testdata_golden_override/error_hexnumber.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected one of "(", ".", "?", "[", "{", <binary op>, EOF, got "x"
+syntax error: expected end of file, got identifier "x42"
     error_hexnumber.jsonnet:1:2
\ No newline at end of file

--- a/tests/go_testdata_golden_override/fieldname_not_string.jsonnet.golden
+++ b/tests/go_testdata_golden_override/fieldname_not_string.jsonnet.golden
@@ -1,2 +1,2 @@
 type error: expected string, got number
-    fieldname_not_string.jsonnet:1:3-10: evaluating field name
\ No newline at end of file
+    evaluating field name
\ No newline at end of file

--- a/tests/go_testdata_golden_override/import_computed.jsonnet.golden
+++ b/tests/go_testdata_golden_override/import_computed.jsonnet.golden
@@ -1 +1 @@
-runtime error: computed imports are not supported
\ No newline at end of file
+static analysis errors: import path must be a string literal
\ No newline at end of file

--- a/tests/go_testdata_golden_override/import_syntax_error.jsonnet.golden
+++ b/tests/go_testdata_golden_override/import_syntax_error.jsonnet.golden
@@ -1,3 +1,3 @@
-syntax error: expected one of "(", "[", "{", <identifier>, <number>, <string>, <unary op>, ['"'], ['\''], got "EOF"
-    syntax_error.jsonnet:1:5
-    import_syntax_error.jsonnet:1:1-8: import "syntax_error.jsonnet"
\ No newline at end of file
+syntax error: unexpected end of file
+    syntax_error.jsonnet:1:4
+    import_syntax_error.jsonnet:1:1-8: import
\ No newline at end of file

--- a/tests/go_testdata_golden_override/importbin_computed.jsonnet.golden
+++ b/tests/go_testdata_golden_override/importbin_computed.jsonnet.golden
@@ -1 +1 @@
-runtime error: computed imports are not supported
\ No newline at end of file
+static analysis errors: import path must be a string literal
\ No newline at end of file

--- a/tests/go_testdata_golden_override/importstr_computed.jsonnet.golden
+++ b/tests/go_testdata_golden_override/importstr_computed.jsonnet.golden
@@ -1 +1 @@
-runtime error: computed imports are not supported
\ No newline at end of file
+static analysis errors: import path must be a string literal
\ No newline at end of file

--- a/tests/go_testdata_golden_override/insuper4.jsonnet.golden
+++ b/tests/go_testdata_golden_override/insuper4.jsonnet.golden
@@ -1 +1 @@
-self/super/$ are only usable inside objects
\ No newline at end of file
+static analysis errors: `super` used outside of object
\ No newline at end of file

--- a/tests/go_testdata_golden_override/insuper6.jsonnet.golden
+++ b/tests/go_testdata_golden_override/insuper6.jsonnet.golden
@@ -1,2 +1 @@
-assert failed: null
-    insuper6.jsonnet:1:10-30: assertion failure
\ No newline at end of file
+static analysis errors: undefined local: undeclared
\ No newline at end of file

--- a/tests/go_testdata_golden_override/object_comp_assert.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_comp_assert.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected one of "(", ".", "?", "[", "{", <binary op>, got "}"
+syntax error: asserts are unsupported in object comprehension
     object_comp_assert.jsonnet:1:46
\ No newline at end of file

--- a/tests/go_testdata_golden_override/object_comp_bad_field.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_comp_bad_field.jsonnet.golden
@@ -1,3 +1,4 @@
 {
     "x": 42
-}
\ No newline at end of file
+}
+

--- a/tests/go_testdata_golden_override/object_comp_bad_field2.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_comp_bad_field2.jsonnet.golden
@@ -1,3 +1,4 @@
 {
     "x": 42
-}
\ No newline at end of file
+}
+

--- a/tests/go_testdata_golden_override/object_comp_duplicate.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_comp_duplicate.jsonnet.golden
@@ -1,2 +1,2 @@
 duplicate field name: x
-    object_comp_duplicate.jsonnet:1:3-7: field <x> initializtion
\ No newline at end of file
+    field <x> initializtion
\ No newline at end of file

--- a/tests/go_testdata_golden_override/object_comp_err_index.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_comp_err_index.jsonnet.golden
@@ -1,3 +1,3 @@
 runtime error: xxx
     object_comp_err_index.jsonnet:1:4-10: error statement
-    object_comp_err_index.jsonnet:1:3-17: evaluating field name
\ No newline at end of file
+    evaluating field name
\ No newline at end of file

--- a/tests/go_testdata_golden_override/object_comp_illegal.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_comp_illegal.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected one of "(", ".", "?", "[", "{", <binary op>, got "}"
+syntax error: missing object comprehension field
     object_comp_illegal.jsonnet:1:34
\ No newline at end of file

--- a/tests/go_testdata_golden_override/object_comp_int_index.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_comp_int_index.jsonnet.golden
@@ -1,2 +1,2 @@
 type error: expected string, got number
-    object_comp_int_index.jsonnet:1:3-7: evaluating field name
\ No newline at end of file
+    evaluating field name
\ No newline at end of file

--- a/tests/go_testdata_golden_override/object_invariant13.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_invariant13.jsonnet.golden
@@ -1,3 +1,3 @@
 runtime error: x
     object_invariant13.jsonnet:1:10-16: error statement
-    object_invariant13.jsonnet:1:10-20: assertion condition
\ No newline at end of file
+    assertion condition
\ No newline at end of file

--- a/tests/go_testdata_golden_override/object_invariant7.jsonnet.golden
+++ b/tests/go_testdata_golden_override/object_invariant7.jsonnet.golden
@@ -1,2 +1,2 @@
 no super found
-    object_invariant7.jsonnet:1:16-29: assertion condition
\ No newline at end of file
+    assertion condition
\ No newline at end of file

--- a/tests/go_testdata_golden_override/optional_args11.jsonnet.golden
+++ b/tests/go_testdata_golden_override/optional_args11.jsonnet.golden
@@ -1,2 +1,2 @@
 argument x is already bound
-    optional_args11.jsonnet:1:20-31: function <anonymous> call
\ No newline at end of file
+    optional_args11.jsonnet:1:20-31: function <anonymous> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/optional_args13.jsonnet.golden
+++ b/tests/go_testdata_golden_override/optional_args13.jsonnet.golden
@@ -1,3 +1,3 @@
 function argument is not passed: y
 Function has the following signature: (x, y)
-    optional_args13.jsonnet:1:20-27: function <anonymous> call
\ No newline at end of file
+    optional_args13.jsonnet:1:20-27: function <anonymous> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/optional_args8.jsonnet.golden
+++ b/tests/go_testdata_golden_override/optional_args8.jsonnet.golden
@@ -1,2 +1,2 @@
 parameter y is not defined
-    optional_args8.jsonnet:2:4-11: function <foo> call
\ No newline at end of file
+    optional_args8.jsonnet:2:4-11: function <foo> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/optional_args9.jsonnet.golden
+++ b/tests/go_testdata_golden_override/optional_args9.jsonnet.golden
@@ -1,2 +1,2 @@
 argument x is already bound
-    optional_args9.jsonnet:1:16-27: function <anonymous> call
\ No newline at end of file
+    optional_args9.jsonnet:1:16-27: function <anonymous> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/recursive_thunk.jsonnet.golden
+++ b/tests/go_testdata_golden_override/recursive_thunk.jsonnet.golden
@@ -2,9 +2,7 @@
     recursive_thunk.jsonnet:1:35-41: error statement
     recursive_thunk.jsonnet:2:19-39: function <bar> call
     recursive_thunk.jsonnet:2:23-31: function <foo> call
-    recursive_thunk.jsonnet:1:52-55: local <th> access
     recursive_thunk.jsonnet:2:19-39: function <bar> call
     recursive_thunk.jsonnet:2:23-31: function <foo> call
-    recursive_thunk.jsonnet:1:52-55: local <th> access
     recursive_thunk.jsonnet:2:19-39: function <bar> call
     recursive_thunk.jsonnet:3:4-8:   function <foo> call
\ No newline at end of file

--- a/tests/go_testdata_golden_override/static_error_eof.jsonnet.golden
+++ b/tests/go_testdata_golden_override/static_error_eof.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected one of "(", ",", ".", ";", "?", "[", "{", <binary op>, got "EOF"
-    static_error_eof.jsonnet:1:13
\ No newline at end of file
+syntax error: expected ';', got end of file
+    static_error_eof.jsonnet:1:12
\ No newline at end of file

--- a/tests/go_testdata_golden_override/std.makeArrayNamed3.jsonnet.golden
+++ b/tests/go_testdata_golden_override/std.makeArrayNamed3.jsonnet.golden
@@ -1,2 +1,2 @@
 parameter blahblah is not defined
-    std.makeArrayNamed3.jsonnet:1:14-55: function <builtin_make_array> call
\ No newline at end of file
+    std.makeArrayNamed3.jsonnet:1:14-55: function <builtin_make_array> preparation
\ No newline at end of file

--- a/tests/go_testdata_golden_override/std.makeArray_bad.jsonnet.golden
+++ b/tests/go_testdata_golden_override/std.makeArray_bad.jsonnet.golden
@@ -1,3 +1,3 @@
-type error: expected BoundedNumber<0, 2147483647>, got string
+type error: expected BoundedNumber<0, 4294967295>, got string
     argument <sz> evaluation
     std.makeArray_bad.jsonnet:1:14-37: function <builtin_make_array> call
\ No newline at end of file

--- a/tests/go_testdata_golden_override/std.makeArray_noninteger.jsonnet.golden
+++ b/tests/go_testdata_golden_override/std.makeArray_noninteger.jsonnet.golden
@@ -1,3 +1,3 @@
-runtime error: cannot convert number with fractional part to i32
+runtime error: cannot convert number with fractional part to u32
     argument <sz> evaluation
     std.makeArray_noninteger.jsonnet:1:14-35: function <builtin_make_array> call
\ No newline at end of file

--- a/tests/go_testdata_golden_override/std.makeArray_noninteger_big.jsonnet.golden
+++ b/tests/go_testdata_golden_override/std.makeArray_noninteger_big.jsonnet.golden
@@ -1,3 +1,3 @@
-type error: number out of bounds: 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 not in 0..2147483647
+type error: number out of bounds: 10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 not in 0..4294967295
     argument <sz> evaluation
     std.makeArray_noninteger_big.jsonnet:1:14-37: function <builtin_make_array> call
\ No newline at end of file

--- a/tests/go_testdata_golden_override/stdlib_smoke_test.jsonnet.golden
+++ b/tests/go_testdata_golden_override/stdlib_smoke_test.jsonnet.golden
@@ -1,11 +1,11 @@
 {
     "abs": 42,
-    "acos": 1.0471975511965979,
+    "acos": true,
     "asciiLower": "blah",
     "asciiUpper": "BLAH",
-    "asin": 0.5235987755982989,
+    "asin": true,
     "assertEqual": true,
-    "atan": 1.373400766945016,
+    "atan": true,
     "base64": [
         "YmxhaA==",
         "YmxhaA=="
@@ -21,7 +21,7 @@
     "ceil": 5,
     "char": "A",
     "codepoint": 65,
-    "cos": 0.28366218546322625,
+    "cos": true,
     "count": 1,
     "decodeUTF8": "AAA",
     "encodeUTF8": [
@@ -101,7 +101,7 @@
     "join": "a,b,c",
     "length": 0,
     "lines": "a\nb\nc\n",
-    "log": 1.6094379124341003,
+    "log": true,
     "lstripChars": "bbbbcccc",
     "makeArray": [
         0,
@@ -222,7 +222,7 @@
         ]
     ],
     "sign": 1,
-    "sin": -0.9589242746631385,
+    "sin": true,
     "slice": "o",
     "sort": [
         [
@@ -249,7 +249,7 @@
         "a,b",
         "c"
     ],
-    "sqrt": 2.23606797749979,
+    "sqrt": true,
     "startsWith": true,
     "strReplace": "bba",
     "stringChars": [
@@ -260,7 +260,7 @@
     ],
     "stripChars": "bbbb",
     "substr": "s",
-    "tan": -3.380515006246586,
+    "tan": true,
     "thisFile": "stdlib_smoke_test.jsonnet",
     "toString": "42",
     "type": "object",

--- a/tests/go_testdata_golden_override/strReplace3.jsonnet.golden
+++ b/tests/go_testdata_golden_override/strReplace3.jsonnet.golden
@@ -1,2 +1,2 @@
-runtime error: 'from' string must not be zero length
+runtime error: `from` string must not be zero length
     strReplace3.jsonnet:1:15-36: function <builtin_str_replace> call
\ No newline at end of file

--- a/tests/go_testdata_golden_override/syntax_error.jsonnet.golden
+++ b/tests/go_testdata_golden_override/syntax_error.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected one of "(", "[", "{", <identifier>, <number>, <string>, <unary op>, ['"'], ['\''], got "EOF"
-    syntax_error.jsonnet:1:5
\ No newline at end of file
+syntax error: unexpected end of file
+    syntax_error.jsonnet:1:4
\ No newline at end of file

--- a/tests/go_testdata_golden_override/tailstrict2.jsonnet.golden
+++ b/tests/go_testdata_golden_override/tailstrict2.jsonnet.golden
@@ -1,3 +1,4 @@
 runtime error: xxx
     tailstrict2.jsonnet:1:13-19: error statement
-    tailstrict2.jsonnet:2:15-19: function <e> call
\ No newline at end of file
+    tailstrict2.jsonnet:2:15-19: function <e> call
+    tailstrict2.jsonnet:2:19-27: function <anonymous> call
\ No newline at end of file

--- a/tests/go_testdata_golden_override/unfinished_args.jsonnet.golden
+++ b/tests/go_testdata_golden_override/unfinished_args.jsonnet.golden
@@ -1,2 +1,2 @@
-syntax error: expected one of "(", ")", ".", "?", "[", "{", <binary op>, got "EOF"
-    unfinished_args.jsonnet:1:18
\ No newline at end of file
+syntax error: expected ')', got end of file
+    unfinished_args.jsonnet:1:17
\ No newline at end of file

--- a/tests/go_testdata_golden_override/variable_not_visible.jsonnet.golden
+++ b/tests/go_testdata_golden_override/variable_not_visible.jsonnet.golden
@@ -1,3 +1 @@
-local is not defined: nested
-    variable_not_visible.jsonnet:1:44-51: local <nested> access
-    variable_not_visible.jsonnet:1:52-55: local <x2> access
\ No newline at end of file
+static analysis errors: undefined local: nested; unused local: x1
\ No newline at end of file