/tests/lean/misc/

• ../
• constants
• external
• loops
• no_nested_borrows
• paper