Fixed offering error types when type inference fails.