Jean Dao

Results 2 issues of Jean Dao

All vmkit source code does not use c++0x standard unlike Z3. I don't think we can manage to keep both as is and fix it automagically in the Makefile (Please...

### Zig Version 0.12.0 ### Steps to Reproduce and Observed Behavior ```zig // bug.zig pub fn main() void { comptime var def: union(enum) { bar: []const u8, foo } =...

bug
frontend