Expand global does not expand nested expressions

[ice1000]

voile-rs/src/check/eval.rs

Lines 224 to 231 in 3fe3842

	let val = expr.map_neutral(&mut |neut| match neut {
	Neutral::Ref(index) => tcs.glob_val(index).ast.clone(),
	Neutral::Meta(mi) => match &tcs.meta_context.solution(mi) {
	MetaSolution::Solved(val) => *val.clone(),
	MetaSolution::Unsolved => panic!("Cannot eval unsolved meta: {:?}", mi),
	MetaSolution::Inlined => unreachable!(),
	},
	neut => Val::Neut(neut),

[owo-bot]

@ice1000 has created a pull request #177 that might address this issue.
Here's a table of the pull request status:

Status
Age
Last Update
Commit
Checks

[ice1000]

Fixed in pr #177