summaryrefslogtreecommitdiff
path: root/tests/lean/misc/no_nested_borrows
ModeNameSize
d---------Base43logplain
-rw-r--r--NoNestedBorrows.lean19073logplain