Missing static error for generic type application at typed: false

[jez]

Input

→ View on sorbet.run

# typed: false

extend T::Sig

sig {returns(T::Array[x: Integer])}
#                     ^^^^^^^^^^ this is an error at typed: true or higher
def example
  []
end

Observed output

No errors! Great job.

Expected behavior

Sorbet reports all other type syntax errors at # typed: false:

sorbet/core/errors/resolver.h

Lines 8 to 9 in 118f6d5

	constexpr ErrorClass InvalidMethodSignature{5003, StrictLevel::False};
	constexpr ErrorClass InvalidTypeDeclaration{5004, StrictLevel::False};

There's no reason why this one should be different, except that this specific error is currently an Infer error.

Once this PR lands, we will be able to simply convert these to resolver errors:

#6784

(or even accept the error code as an argument, if we want.)

---