src/Module.zig                                                                                                         |  25 +++
 src/Sema.zig                                                                                                           | 321 ++++++++++++++++++++++----------
 test/cases/compile_errors/calling_var_args_extern_function_passing_array_instead_of_pointer.zig                        |   2 +-
 test/cases/compile_errors/casting_bit_offset_pointer_to_regular_pointer.zig                                            |   6 +-
 test/cases/compile_errors/disallow_coercion_from_non-null-terminated_pointer_to_null-terminated_pointer.zig            |  13 ++
 test/cases/compile_errors/error_note_for_function_parameter_incompatibility.zig                                        |   6 +-
 test/cases/compile_errors/function_parameter_is_opaque.zig                                                             |   1 -
 test/cases/compile_errors/generic_function_instance_with_non-constant_expression.zig                                   |  13 ++
 test/cases/compile_errors/implicit_cast_from_array_to_mutable_slice.zig                                                |  11 ++
 test/cases/compile_errors/implicitly_increasing_pointer_alignment.zig                                                  |  20 ++
 test/cases/compile_errors/pass_const_ptr_to_mutable_ptr_fn.zig                                                         |  18 ++
 test/cases/compile_errors/stage1/obj/disallow_coercion_from_non-null-terminated_pointer_to_null-terminated_pointer.zig |  12 --
 test/cases/compile_errors/stage1/obj/generic_function_instance_with_non-constant_expression.zig                        |  12 --
 test/cases/compile_errors/stage1/obj/implicit_cast_from_array_to_mutable_slice.zig                                     |  11 --
 test/cases/compile_errors/stage1/obj/implicitly_increasing_pointer_alignment.zig                                       |  19 --
 test/cases/compile_errors/stage1/obj/pass_const_ptr_to_mutable_ptr_fn.zig                                              |  17 --
 test/cases/compile_errors/stage1/obj/unreachable_parameter.zig                                                         |   8 -
 test/cases/compile_errors/stage1/obj/use_anyopaque_as_return_type_of_fn_ptr.zig                                        |  10 -
 test/cases/compile_errors/stage1/obj/wrong_initializer_for_union_payload_of_type_type.zig                              |  16 --
 test/cases/compile_errors/stage1/obj/wrong_pointer_coerced_to_pointer_to_opaque_{}.zig                                 |  12 --
 test/cases/compile_errors/type_checking_function_pointers.zig                                                          |   6 +-
 test/cases/compile_errors/unreachable_parameter.zig                                                                    |   8 +
 test/cases/compile_errors/use_anyopaque_as_return_type_of_fn_ptr.zig                                                   |  10 +
 test/cases/compile_errors/wrong_initializer_for_union_payload_of_type_type.zig                                         |  17 ++
 test/cases/compile_errors/wrong_pointer_coerced_to_pointer_to_opaque_{}.zig                                            |  14 ++
 25 files changed, 378 insertions(+), 230 deletions(-)