diff options
| author | Son Ho | 2024-06-05 17:04:05 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-05 17:04:05 +0200 |
| commit | afe15cc3208b16b95109f056656c1c3d312841cc (patch) | |
| tree | ae0dc5101d49e812366b3fb9ddb681f03dba486f /tests/lean/Matches.lean | |
| parent | 7cb0914c68a055a308539ccc781fea8f30ef27bb (diff) | |
Add some negative tests for the borrow checker
Diffstat (limited to 'tests/lean/Matches.lean')
0 files changed, 0 insertions, 0 deletions