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/desugar_file__non_exaustive_limit.bend.snap
Nicolas Abril e1dd23d96c Update tests to use .bend extension, fix test uite
2024-05-15 00:25:46 +02:00

8 lines
259 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/desugar_file/non_exaustive_limit.bend
---
Errors:
In definition 'Bar':
Non-exhaustive pattern matching rule. Constructor 'Foo/B' of type 'Foo' not covered
Reference in New Issue View Git Blame Copy Permalink