---
source: tests/golden_tests.rs
input_file: tests/golden_tests/compile_file_o_all/non_exhaustive_and.bend
---
Errors:
In tests/golden_tests/compile_file_o_all/non_exhaustive_and.bend :
In definition 'Bool.and':
  Non-exhaustive pattern matching rule. Constructor 'Bool/F' of type 'Bool' not covered