buffer library TypeError when buffer is function parameter with new solver's non-strict mode

[Ketasaja]

Tested on 0.628, with no errors in strict mode:

local function _(b: buffer) -- TypeError: Argument b with type 'unknown' in function '_' is used in a way that will run time error
	buffer.readi32(b, 0)
end

local buf = buffer.create(100)
buffer.readi32(buf, 0)