type Abc = f64 | int

struct Test {
	a int
	b ?int
}

fn check[T](val T) string {
	$if T in [?int, ?int] {
		return 'option int'
	}
	$if T in [int, int] {
		return 'int'
	}
	return ''
}

fn check2[T](val T) string {
	mut str := string{}
	$for field in T.fields {
		$if field.typ in [?int, ?int] {
			str += 'option int'
		}
		$if field.typ in [int, int] {
			str += 'int'
		}
	}
	return str
}

fn check_is[T](val T) string {
	$if T is ?int {
		return 'option int'
	}
	$if T is int {
		return 'int'
	}
	return ''
}

fn check_is2[T](val T) string {
	mut str := string{}
	$for field in T.fields {
		$if field.typ is ?int {
			str += 'option int'
		}
		$if field.typ is int {
			str += 'int'
		}
	}
	return str
}

fn test_in() {
	var := Test{
		a: 1
		b: 2
	}
	assert check(var.a) == 'int'
	assert check(var.b?) == 'int'
}

fn test_in_2() {
	var := Test{
		a: 1
		b: 2
	}
	assert check2(var) == 'intoption int'
}

fn test_is() {
	var := Test{
		a: 1
		b: 2
	}
	assert check_is(var.a) == 'int'
	assert check_is(var.b?) == 'int'
}

fn test_is_2() {
	var := Test{
		a: 1
		b: 2
	}
	assert check_is2(var) == 'intoption int'
}