11 lines
355 B
Plaintext
11 lines
355 B
Plaintext
//ww:run
|
|
package main;
|
|
// migrated from test/wcc/839_xmod_nominal_typeeqast.c: A6 — concrete e.myerr returned into e.res (bare-vs-qualified nominal forward), both stages accept.
|
|
package e;
|
|
export type myerr = !i64;
|
|
export type res = (i64 | myerr);
|
|
package main;
|
|
import e;
|
|
fn wrap(x: e.myerr) e.res = { return x; };
|
|
export fn main() i32 = { return 0; };
|