/testsuite/tests/typing-recordarg/