Compiler assert when trying to unwrap return type type

[0joshuaolson1]

No std.debug.warn for me:

const io = @import("std").io;

fn getPrint() type {
  return struct {
    const f = try io.getStdOut();                // there's an error here if we remove "catch unreachable" in main
//    const f = io.getStdOut() catch unreachable; // also 'works', moving the error to the next line instead
    const stdout = &io.FileOutStream.init(&f).stream;
    pub fn rint(s: []const u8) void {
      stdout.print(s) catch unreachable;
    }
  };
}
pub fn main() void {
  const p = getPrint() catch unreachable; // segfault
//  p.rint("s"); // desired payload of this closure hack (no per-call "catch unreachable" boilerplate)
}

zig version 0.2.0.a6ae4514

P.S. I couldn't figure out the argument signature for passing stdout to a function that handles the "catch unreachable" boilerplate - using OutStream(error{...}) doesn't match the "anonymous error union" with the expected type... (#764)

[andrewrk]

getStdOut happens to work at comptime on Linux, but it does not work at comptime on Windows - it has to call GetStdHandle.

[0joshuaolson1]

I compiled this on Linux, btw.

[Hejsil]

Here is a smaller example:

fn getU8() type {
    return u8;
}
test "" {
    const u = getU8() catch unreachable;
}

zig: zig/src/ir.cpp:17918: TypeTableEntry* ir_analyze_instruction_unwrap_err_payload(IrAnalyze*, IrInstructionUnwrapErrPayload*): Assertion `ptr_type->id == TypeTableEntryIdPointer' failed.