tests/errors/branch_mismatch.zc


1
2
3
4
5
6

namespace;
include rt;

// expect: x: ends the branches of an if in different states
fn take(.d p) { return p[0]; }
fn main() { let x = rt.new(1); if (x[0]) take(d*x); else u*x; return 0; }