diff options
| author | Aymeric Fromherz | 2024-05-27 16:44:28 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-27 16:44:28 +0200 |
| commit | c236ccfb22e64f56f4398d067582ebd570bf1a0b (patch) | |
| tree | d318095b40de9b7684b90c52773a0de326c799a6 /tests/lean/NoNestedBorrows.lean | |
| parent | 506e9dc3f8f2759769c3293e9cbeba5d6fe79a31 (diff) | |
Add projection markers when joining environments
Diffstat (limited to 'tests/lean/NoNestedBorrows.lean')
0 files changed, 0 insertions, 0 deletions