module cleanc

fn test_pass5_worker_clones_global_type_lookup() {
	mut g := Gen.new([])
	g.global_var_types['main__settings'] = 'main__Settings'
	mut worker := g.new_pass5_worker([], 0)
	assert worker.global_var_types['main__settings'] == 'main__Settings'
	g.global_var_types['main__settings'] = 'main__OtherSettings'
	assert worker.global_var_types['main__settings'] == 'main__Settings'
}

fn test_specialized_receiver_method_index_tracks_ambiguity() {
	mut g := Gen.new([])
	g.fn_return_types['Box_T_i32__get'] = 'int'
	g.remember_specialized_fn_base('Box_T_i32__get')
	got := g.resolve_specialized_receiver_method('Box', 'get') or { '' }
	assert got == 'Box_T_i32__get'

	g.fn_return_types['Box_T_string__get'] = 'string'
	g.remember_specialized_fn_base('Box_T_string__get')
	if _ := g.resolve_specialized_receiver_method('Box', 'get') {
		assert false
	} else {
		assert true
	}
}

// When a file is split across pass-5 workers, a non-owning worker blocks the
// file's fns but must still emit its own assigned slice. The owner-scoped bypass
// allows exactly the fns owned by the slice's file (explicit_slice_file) and
// nothing transitively reached from another file.
fn test_explicit_slice_emit_allows_is_scoped_to_owning_file() {
	mut g := Gen.new([])
	g.fn_owner_file['fn_foo'] = 3 // foo is owned by file 3
	g.fn_owner_file['fn_bar'] = 5 // bar is owned by a different file
	g.blocked_fn_keys['fn_foo'] = true
	g.blocked_fn_keys['fn_bar'] = true

	// Not in an explicit slice: nothing is unblocked.
	assert !g.explicit_slice_emit_allows('fn_foo')
	assert !g.explicit_slice_emit_allows('fn_bar')

	// Emitting file 3's slice: only file 3's fns are unblocked.
	g.explicit_slice_active = true
	g.explicit_slice_file = 3
	assert g.explicit_slice_emit_allows('fn_foo')
	assert !g.explicit_slice_emit_allows('fn_bar') // owned by file 5 -> stays blocked
	assert !g.explicit_slice_emit_allows('fn_unknown') // no recorded owner -> blocked

	// Switching to file 5's slice flips which fn is allowed.
	g.explicit_slice_file = 5
	assert !g.explicit_slice_emit_allows('fn_foo')
	assert g.explicit_slice_emit_allows('fn_bar')
}