Open
Description
Some cases that lack coverage:
- Moving a declaration to a new file
- Adding a new declaration to the same file
- Adding a new declaration a different file
- Check that closing a buffer clears errors
- Real-life example: You switch branches with 1 open file in your editor and see errors because that file is now an overlay. You close the file and its errors clear.