Hey - I would expect you not to recommend making changes to code during compiles however with long compile times (especially when there are errors?) this is also something I expect to find people doing all time and current behavior is definitely a bug.
While I wouldn’t expect coherent code to be created if you are compiling currently you have to make an extra edit to get dependency checked to allow a build.
This means that file timestamps are being recorded after edits made while compiler was in progress, but before a proper build is created. These timestamps should be either reverted when build is cancelled or cached at a later point in process.
So - your recommendation is a good one, especially for novice programmers, but there is a bug that should be fixed 
Why should it be fixed? Sometimes results might be quite subtle and people will lose time testing changes that have not actually taken. Sure you should always check output logs etc but humans are humans, and time is time and we don’t get it back when we waste it!