61bfa3d9df
This commit adds a test to expose the bug caused by source file change in between typecheck programs. PR Close #41500