The compiler seems to report only the first error

[luauser32167]

fn main() {
  var x: int32 = "a"; // Error: Incompatible types int32 and str
  var y: int32 = "b"; // not reported
}

Reporting more than a single type error per compiler invocation (see this godbolt/compiler-explorer page) is good because it saves time.

[vtereshkov]

Yes, the compiler (not only the type checker) always stops on the first error and does not try to recover.

[marekmaskarinec]

I'm personally like it this way. A lot of compilers that report multiple errors can report errors that only exist because of other errors.