type MySumType = S1 | S2

struct Info {
	name string
}

struct S1 {
	is_info bool
	info    Info
}

struct S2 {
	field2 string
}

fn get_name(name string) string {
	return name
}

fn test_autocast_in_if_conds() {
	s := MySumType(S1{
		is_info: false
		info:    Info{'foo'}
	})

	if s is S1 && !s.is_info && get_name(s.info.name) == 'foo' {
		println('ok')
		assert true
	} else {
		assert false
	}
}