/tests/lean/misc-polonius