summaryrefslogtreecommitdiff
path: root/tests/src/no_nested_borrows.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Update the test runner to allow the syntax [!lean] and [borrow-check]Son Ho2024-06-051-1/+1
* Merge branch 'main' into son/loops2Son Ho2024-06-041-0/+3
|\
| * runner: Specify subdirectory in magic commentsNadrieril2024-05-241-0/+1
| * runner: Pass options in special commentsNadrieril2024-05-241-0/+2
* | Add a testSon Ho2024-06-031-1/+6
|/
* Import test suite from charonNadrieril2024-05-241-0/+491