syntax: allow decode_string[typeof(T.$('a')).idx]()

[enghitalo]

Describe the feature

Get the type of a structure's field

Use Case

Allow use a unknow type without init a new var.

minimal example

struct Struct {
	a string
}

fn decode_string[T]() bool {
	$if T is string {
		assert true
		return true
	} $else {
		assert false
	}
	return false
}

fn decode[T](val T) {
	// feature requested
	assert decode_string[typeof(T.$('a')).idx]()
	// or
	assert decode_string[typeof(T.$('a'))]()
	/*
	This make sense if allow use a field type to init a new variable.
	Example:
	*/
	gg := typeof(T.$('a')){}
}

fn main() {
	struc := Struct{}
	decode(struc)
}

Proposed Solution

No response

Other Information

No response

Acknowledgements

• I may be able to implement this feature request
• This feature might incur a breaking change

Version used

V 0.3.3 5e48817

Environment details (OS name and version, etc.)

Ubuntu