x.json2,checker,toml: allow field.typ compile-time checking with MatchExpr and add array of option checking

[felipensp]

Fix #21170
Improve type checking from #21163

[ttytm]

Awesome! The same can be applied to toml then!

[MCausc78]

what about maps?

[felipensp]

what about maps?

It does works.

struct Test {
	a int
	b []int
	c map[int]string
}

fn main() {
	$for f in Test.fields {
		type_name := typeof(f.$(f.name)).name
		match f.typ {
			int { println('1. ${f.name} is ${type_name}') }
			[]int { println('2. ${f.name} is ${type_name}') }
			map[int]string { println('3. ${f.name} is ${type_name}') }
			else {}
		}
	}
}

[Delta456]

what about maps?

It does works.

struct Test {
	a int
	b []int
	c map[int]string
}

fn main() {
	$for f in Test.fields {
		type_name := typeof(f.$(f.name)).name
		match f.typ {
			int { println('1. ${f.name} is ${type_name}') }
			[]int { println('2. ${f.name} is ${type_name}') }
			map[int]string { println('3. ${f.name} is ${type_name}') }
			else {}
		}
	}
}

Is there a way to check the key and the value type of a map separately?

[felipensp]

what about maps?

It does works.

struct Test {
	a int
	b []int
	c map[int]string
}

fn main() {
	$for f in Test.fields {
		type_name := typeof(f.$(f.name)).name
		match f.typ {
			int { println('1. ${f.name} is ${type_name}') }
			[]int { println('2. ${f.name} is ${type_name}') }
			map[int]string { println('3. ${f.name} is ${type_name}') }
			else {}
		}
	}
}

Is there a way to check the key and the value type of a map separately?

No yet. This would be an another feature request.