Currently we have no diagnostics for unopened files, despite the fact they were typechecked already. I might be mistaken but I vaguely remember this worked in Visual Studio long time ago.