import os

const line_info_test_vexe = @VEXE

fn test_option_propagation_panic_has_matching_line_info() {
	tmp_dir := os.join_path(os.vtmp_dir(), 'or_block_line_info_test')
	os.mkdir_all(tmp_dir)!
	defer {
		os.rmdir_all(tmp_dir) or {}
	}
	source_path := os.join_path(os.real_path(tmp_dir), 'option_propagation_line_info.vv')
	os.write_file(source_path,
		'struct Foo{}\n\nfn (f Foo) foo() int {\n\treturn 1\n}\n\nfn new_foo() ?Foo {\n\treturn none\n}\n\nfn main() {\n\ti := new_foo()?.foo()\n\tprintln(i)\n}\n')!
	cmd := '${os.quoted_path(line_info_test_vexe)} -g -o - ${os.quoted_path(source_path)}'
	res := os.execute(cmd)
	assert res.exit_code == 0, '${cmd}\n${res.output}'
	lines := res.output.replace('\r\n', '\n').split_into_lines()
	// On Windows, #line directives use double-escaped backslashes, while
	// panic_debug uses forward slashes, so normalize paths for comparison.
	escaped_source_path := source_path.replace('\\', '\\\\')
	fwd_source_path := source_path.replace('\\', '/')
	expected_line := '#line 12 "${escaped_source_path}"'
	expected_panic := 'builtin__panic_debug(12, builtin__tos3("${fwd_source_path}")'
	mut main_idx := -1
	for i, line in lines {
		if line.contains('void main__main(void) {') {
			main_idx = i
			break
		}
	}
	assert main_idx >= 0, res.output
	mut directive_idx := -1
	mut panic_idx := -1
	for i := main_idx + 1; i < lines.len; i++ {
		line := lines[i]
		if line == expected_line {
			directive_idx = i
		}
		if line.contains(expected_panic) {
			panic_idx = i
			break
		}
	}
	assert panic_idx > 0, res.output
	assert directive_idx == panic_idx - 1, 'expected `${expected_line}` immediately before `${expected_panic}`\n${res.output}'
}