1. Use a Copilot agent and have it delete the C# file that's open in the editor 2. See a popup warning you about this: <img width="698" height="181" alt="Image" src="https://github.com/user-attachments/assets/536d938d-3c71-44ea-8603-79160b9c380c" /> The file has been deleted, so of course it's not in the workspace: <img width="391" height="91" alt="Image" src="https://github.com/user-attachments/assets/a4062b0a-6d96-4220-9776-02c390993440" /> We shouldn't show this toast for deleted files.