---
source: tests/golden_tests.rs
input_file: tests/golden_tests/run_file/override_str_ctr.bend
---
Errors:
In tests/golden_tests/run_file/override_str_ctr.bend :
Redefinition of builtin (constructor) 'String/Cons'.
  1 | String/Cons = *