public proc bug() =
single_space LMax depth = 2;
System.out.println(depth.value);
end
with assert:
thread 'main' panicked at 'assertion failed: `(left == right)`
left: `Spacetime(SingleSpace)`,
right: `Host`: depth', src/middle/resolve.rs:76:9
NOTE: the code above is not right anyway since value is private in LMax. However it should be triggered at the Java compilation stage, not at the Bonsai compilation stage.