---
source: tests/golden_tests.rs
input_file: tests/golden_tests/compile_file_o_all/tagged_sup.bend
---
Errors:
In tests/golden_tests/compile_file_o_all/tagged_sup.bend :
- expected: top-level definition
- detected:
  2 | b = #i {λx x λx x}