v3: fix interface globals and disabled methods

Author: medvednikov

vlib/v3/gen/c/struct.v

@@ -158,6 +158,12 @@ fn (mut g FlatGen) gen_heap_struct_init(node flat.Node) {
 	g.write('(${name}*)memdup(&(${name}){')
 	mut set_fields := map[string]bool{}
 	mut has_field := false
+	if g.is_interface_type_name(node.value) {
+		if tid := g.interface_init_typ_id(node) {
+			g.write('._typ = ${tid}')
+			has_field = true
+		}
+	}
 	for i in 0 .. node.children_count {
 		field := g.a.child_node(&node, i)
 		if has_field {

vlib/v3/parser/parser.v

@@ -1090,10 +1090,9 @@ fn (mut p Parser) mark_disabled_fn(name string) {
 	if name.len == 0 {
 		return
 	}
-	if p.cur_module.len > 0 && p.cur_module != 'main' && p.cur_module != 'builtin'
-		&& !name.contains('.') {
-		p.a.disabled_fns['${p.cur_module}.${name}'] = true
-		return
+	if p.cur_module.len > 0 && p.cur_module != 'main' && p.cur_module != 'builtin' {
+		qname := if name.starts_with('${p.cur_module}.') { name } else { '${p.cur_module}.${name}' }
+		p.a.disabled_fns[qname] = true
 	}
 	p.a.disabled_fns[name] = true
 }

vlib/v3/tests/type_checker_errors_test.v

@@ -207,8 +207,8 @@ fn test_type_checker_reports_core_semantic_errors() {
 	}, 'main.v')
 	assert hier_init_order_out == '41\n41'
 	global_amp_out := run_good(v3_bin, 'global_amp_initializers',
-		'struct Point {\n\tx int\n\ty int\n}\n\ninterface Reader {\n\tn int\n}\n\nstruct Box {\n\tn int\n}\n\n__global (\n\tbase_point = Point{x: 1, y: 2}\n\tassoc_point = &Point{...base_point, y: 5}\n\treader_box = Box{n: 7}\n\treader_ref = &Reader(reader_box)\n)\n\nfn main() {\n\tprintln(int_str(assoc_point.y))\n\tprintln(int_str(reader_ref.n))\n}\n')
-	assert global_amp_out == '5\n7'
+		'struct Point {\n\tx int\n\ty int\n}\n\ninterface Reader {\n\tn int\n\tread() int\n}\n\nstruct Box {\n\tn int\n}\n\nfn (b Box) read() int {\n\treturn b.n + 1\n}\n\n__global (\n\tbase_point = Point{x: 1, y: 2}\n\tassoc_point = &Point{...base_point, y: 5}\n\treader_box = Box{n: 7}\n\treader_ref = &Reader(reader_box)\n)\n\nfn main() {\n\tprintln(int_str(assoc_point.y))\n\tprintln(int_str(reader_ref.n))\n\tprintln(int_str(reader_ref.read()))\n}\n')
+	assert global_amp_out == '5\n7\n8'
 	disabled_if_out := run_good(v3_bin, 'disabled_if_call_elides_args',
 		'__global hit int\n\n@[if trace ?]\nfn trace(x int) {}\n\nfn side_effect() int {\n\thit = 99\n\treturn 1\n}\n\nfn main() {\n\ttrace(side_effect())\n\tprintln(int_str(hit))\n}\n')
 	assert disabled_if_out == '0'
@@ -217,6 +217,11 @@ fn test_type_checker_reports_core_semantic_errors() {
 		'moda/moda.v': 'module moda\n\n@[if trace ?]\npub fn trace(x int) {}\n'
 	}, 'main.v')
 	assert disabled_if_alias_out == '0'
+	disabled_if_method_out := run_good_project(v3_bin, 'disabled_if_method_call_elides_args', {
+		'main.v':      'module main\n\nimport moda\n\nfn main() {\n\tprintln(int_str(moda.run()))\n}\n'
+		'moda/moda.v': 'module moda\n\n__global hit int\n\nstruct Tracer {}\n\n@[if trace ?]\nfn (t Tracer) trace(x int) {}\n\nfn side_effect() int {\n\thit = 99\n\treturn 1\n}\n\npub fn run() int {\n\tt := Tracer{}\n\tt.trace(side_effect())\n\treturn hit\n}\n'
+	}, 'main.v')
+	assert disabled_if_method_out == '0'
 	cross_module_array_append_c := gen_c_project(v3_bin, 'array_append_distinct_module_types', {
 		'main.v':      'module main\n\nimport moda\nimport modb\n\nfn main() {\n\tmut xs := []moda.Foo{}\n\tys := []modb.Foo{}\n\txs << ys\n}\n'
 		'moda/moda.v': 'module moda\n\nstruct Foo {\n\ta int\n}\n'