//ww:run-exit 1
// #17 (F4) carrier: `e as T` on a null (*int|void) operand must ABORT (exit 1),
// not silently pass. Hare guarantees a failed type-assert calls rt::abort (drew)
// — not a row in @test (an abort kills `ww test`). The clean twin asrt_ptr_ok in
// test/lang/nullable_assert_test.ww carries the abort-arm byte-id (ken: ww emits
// the check-and-abort arm INLINE, so a wwstage regression diverges that twin);
// the non-redundant dimension here is the RUNTIME abort. Underlying fix was
// wwstage cgen (cgtypeassert nullable arm). From 949_nullable_assert_run.c.
package main;
export fn main() i32 = {
	let p: (*int|void) = void;
	let q = p as *int;
	return 50;
};