Commit 23feafdef0

Andrew Kelley <superjoe30@gmail.com>
2017-01-06 01:25:36
pass more tests
by removing assertion, fixing error column, and updating expected message
1 parent 28403ea
Changed files (3)
src/analyze.cpp
@@ -1393,8 +1393,6 @@ static void resolve_struct_type(CodeGen *g, TypeTableEntry *struct_type) {
 
     ZigLLVMReplaceTemporary(g->dbuilder, struct_type->di_type, replacement_di_type);
     struct_type->di_type = replacement_di_type;
-
-    assert((debug_size_in_bits == 0) == struct_type->zero_bits);
 }
 
 static void resolve_union_type(CodeGen *g, TypeTableEntry *union_type) {
src/ir.cpp
@@ -9121,7 +9121,7 @@ static TypeTableEntry *ir_analyze_instruction_unwrap_maybe(IrAnalyze *ira,
     if (type_entry->id == TypeTableEntryIdInvalid) {
         return ira->codegen->builtin_types.entry_invalid;
     } else if (type_entry->id != TypeTableEntryIdMaybe) {
-        ir_add_error_node(ira, unwrap_maybe_instruction->base.source_node,
+        ir_add_error_node(ira, unwrap_maybe_instruction->value->source_node,
                 buf_sprintf("expected nullable type, found '%s'", buf_ptr(&type_entry->name)));
         return ira->codegen->builtin_types.entry_invalid;
     }
test/run_tests.cpp
@@ -963,7 +963,7 @@ fn f() {
 fn f() {
     if (const x ?= true) { }
 }
-    )SOURCE", 1, ".tmp_source.zig:3:20: error: expected maybe type");
+    )SOURCE", 1, ".tmp_source.zig:3:20: error: expected nullable type, found 'bool'");
 
     add_compile_fail_case("cast unreachable", R"SOURCE(
 fn f() -> i32 {