Function voile::check::eval::expand_global

fn expand_global(tcs: TCS, expr: Val) -> (Val, TCS)

Expand global references to concrete values, like meta references or global references due to recursion.