this is the reason why we need marks: the tests were spread across two files, because I've forgotten that there were tests already
This also fixes a particular edge case in name resolution.