Issues

`==` on a user enum or struct type-checks and then fails in gcc

labforadvancedstudy/palladium-a#92 · opened

on Nov 8, 2026

`let v: &u32-alias = &m` with `m: i64` is an internal compiler error (width erased behind a reference)

labforadvancedstudy/palladium-a#90 · opened

on Nov 8, 2026

`==` on tuples type-checks and then fails in gcc

labforadvancedstudy/palladium-a#89 · opened

on Nov 8, 2026

A plain reference value is typed as its referent, so `&i64` meets an `i64` place and gcc rejects the C

labforadvancedstudy/palladium-a#88 · opened

on Nov 8, 2026

A generic struct literal inside a monomorphized generic body has no per-literal record; another literal's instantiation decides it

labforadvancedstudy/palladium-a#87 · opened

on Nov 8, 2026

A generic function call picks another call's instantiation by the first argument's C type (silent wrong output)

labforadvancedstudy/palladium-a#86 · opened

on Nov 8, 2026

WT-01 census counts in the requirement row, manifest note and census are hand-copied; no gate re-derives them

labforadvancedstudy/palladium-a#83 · opened

on Oct 7, 2026

A u64 in a generic struct field is emitted as signed long long; values >= 2^63 give silently wrong results

labforadvancedstudy/palladium-a#82 · opened

on Oct 7, 2026

Reading d.inner.v after d.inner was moved is accepted (the field-read path checks only the root binding)

labforadvancedstudy/palladium-a#81 · opened

on Oct 7, 2026

Moving a non-Copy struct field out of a reference parameter (&self, &mut self, d: &D) is accepted; a local borrow refuses the same move

labforadvancedstudy/palladium-a#80 · opened

on Oct 7, 2026

1

let y: T inside a generic function body is emitted as void* and gcc refuses it

labforadvancedstudy/palladium-a#78 · opened

on Oct 7, 2026

A generic function called at two struct types emits one instantiation (gcc: passing 'struct Q' to parameter of type 'struct P')

labforadvancedstudy/palladium-a#77 · opened

on Oct 7, 2026

doc-evidence follow-ups: '..' ancestor exemption reaches above ROOT; ls -R / sort -R refused with grep's reason

labforadvancedstudy/palladium-a#75 · opened

on Oct 6, 2026

1

An annotated local of a generic struct type (let g: G<i64> = …) is lowered as void* and gcc refuses it

labforadvancedstudy/palladium-a#74 · opened

on Oct 6, 2026

1

make gates can exit 2 under heavy load: test-xfail's ignored listing hits gate_probe's 5 s post-exit EOF window

labforadvancedstudy/palladium-a#73 · opened

on Oct 6, 2026

doc-evidence cmd: items still read untracked/ignored files outside the refused directories (scripts/pycache)

labforadvancedstudy/palladium-a#72 · opened

on Oct 6, 2026

2

xs[i][1] = 9 (computed outer index, nested) is refused as 'Cannot assign to temporary value'

labforadvancedstudy/palladium-a#71 · opened

on Oct 6, 2026

A read through a computed index is never recorded as a move (xs[0] moved, then xs[i] with i = 0 moved again passes borrowck)

labforadvancedstudy/palladium-a#70 · opened

on Oct 6, 2026

A borrow stored into an outer binding from inside a block is released at the block's end (r = &d.inner in an if arm, then d.inner moved, passes borrowck)

labforadvancedstudy/palladium-a#69 · opened

on Oct 6, 2026

A value if whose arm tail is a place never records the move (let x = if c { d.inner } else { e.inner }; then d.inner again is accepted)

labforadvancedstudy/palladium-a#68 · opened

on Oct 6, 2026

&mut of a field under a live & of its parent passes the borrow checker (borrow() only checks identical places)

labforadvancedstudy/palladium-a#67 · opened

on Oct 6, 2026

Match guards are never borrow-checked (a move inside a guard is not recorded)

labforadvancedstudy/palladium-a#66 · opened

on Oct 6, 2026

let d: D = d; in an inner block emits struct D d = d; and reads uninitialised memory (silent miscompile)

labforadvancedstudy/palladium-a#65 · opened

on Oct 6, 2026

1

A generic function instantiated at char or f64 is refused: 'expected char, found Char'

labforadvancedstudy/palladium-a#64 · opened

on Oct 6, 2026

A generic struct literal with a struct type argument falls back to the uninstantiated struct (incomplete type 'struct Box2')

labforadvancedstudy/palladium-a#63 · opened

on Oct 6, 2026

2

Navigation Menu

Repository navigation

Issues

`==` on a user enum or struct type-checks and then fails in gcc

`let v: &u32-alias = &m` with `m: i64` is an internal compiler error (width erased behind a reference)

`==` on tuples type-checks and then fails in gcc

A plain reference value is typed as its referent, so `&i64` meets an `i64` place and gcc rejects the C

A generic struct literal inside a monomorphized generic body has no per-literal record; another literal's instantiation decides it

A generic function call picks another call's instantiation by the first argument's C type (silent wrong output)

WT-01 census counts in the requirement row, manifest note and census are hand-copied; no gate re-derives them

A u64 in a generic struct field is emitted as signed long long; values >= 2^63 give silently wrong results

Reading d.inner.v after d.inner was moved is accepted (the field-read path checks only the root binding)

Moving a non-Copy struct field out of a reference parameter (&self, &mut self, d: &D) is accepted; a local borrow refuses the same move

let y: T inside a generic function body is emitted as void* and gcc refuses it

A generic function called at two struct types emits one instantiation (gcc: passing 'struct Q' to parameter of type 'struct P')

doc-evidence follow-ups: '..' ancestor exemption reaches above ROOT; ls -R / sort -R refused with grep's reason

An annotated local of a generic struct type (let g: G<i64> = …) is lowered as void* and gcc refuses it

make gates can exit 2 under heavy load: test-xfail's ignored listing hits gate_probe's 5 s post-exit EOF window

doc-evidence cmd: items still read untracked/ignored files outside the refused directories (scripts/pycache)

xs[i][1] = 9 (computed outer index, nested) is refused as 'Cannot assign to temporary value'

A read through a computed index is never recorded as a move (xs[0] moved, then xs[i] with i = 0 moved again passes borrowck)

A borrow stored into an outer binding from inside a block is released at the block's end (r = &d.inner in an if arm, then d.inner moved, passes borrowck)

A value if whose arm tail is a place never records the move (let x = if c { d.inner } else { e.inner }; then d.inner again is accepted)

&mut of a field under a live & of its parent passes the borrow checker (borrow() only checks identical places)

Match guards are never borrow-checked (a move inside a guard is not recorded)

let d: D = d; in an inner block emits struct D d = d; and reads uninitialised memory (silent miscompile)

A generic function instantiated at char or f64 is refused: 'expected char, found Char'

A generic struct literal with a struct type argument falls back to the uninstantiated struct (incomplete type 'struct Box2')