HigherOrderCO/Bend
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Bend.git synced 2024-08-15 23:00:46 +03:00
Code Issues Packages Projects Releases Wiki Activity
main
Bend/tests/snapshots/compile_file_o_all__non_exhaustive_different_types.bend.snap
Nicolas Abril e1dd23d96c Update tests to use .bend extension, fix test uite
2024-05-15 00:25:46 +02:00

8 lines
275 B
Plaintext
Raw Permalink Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

---
source: tests/golden_tests.rs
input_file: tests/golden_tests/compile_file_o_all/non_exhaustive_different_types.bend
---
Errors:
In definition 'foo':
Non-exhaustive pattern matching rule. Constructor 'b3/t3' of type 'b3' not covered
Reference in New Issue View Git Blame Copy Permalink