Writing different files for tests is a hassle. One possible improvement is to allow embedding tests in RBS files. Similar solutions: doctest in Python: https://docs.python.org/3/library/doctest.htm...