Spurious "module name must not be empty" diagnostics

[alanz]

Describe the bug

When a file does not have a module declaration, a module name must not be empty diagnostic is generated for each spec in it.

To Reproduce
Steps to reproduce the behavior.

-export([test1/0,test2/0]).
-spec test1() -> ok.
test1() -> ok.

-spec test2() -> ok.
test2() -> ok.

./homebrew/Cellar/erlang/26.0.2/bin/erlc -Wall foo.erl

Result

foo.erl:2:2: no module definition
%    2| -export([test1/0,test2/0]).
%     |  ^

foo.erl:3:2: the module name must not be empty
%    3| -spec test1() -> ok.
%     |  ^

foo.erl:6:2: the module name must not be empty
%    6| -spec test2() -> ok.
%     |  ^

Expected behavior

Only foo.erl:2:2: no module definition reported

Affected versions
I tested with 26.0.2

Additional context
Add any other context about the problem here. If you wish to attach Erlang code you can either write it directly in the post using code tags, create a gist, or attach it as a zip file to this post.