Can instantiate a generic type without type argument

[Morriar]

Input

→ View on sorbet.run

# typed: strict

class A
  extend T::Generic

  E = type_member
end

A.new # No error? A should require type argument like `A[Foo]`

Observed output

No errors! Great job.

Sorbet treats this as A[T.untyped]

Expected behavior

I would expect Sorbet to raise an error saying A is a generic type and requires a type argument like A[Foo].