Skip to content

t27b: fix countdown Box<Expr> type mismatch in lower.rs - #13434

Merged
gHashTag merged 1 commit into
masterfrom
lane/t27b-countdown-fix
Nov 9, 2026
Merged

gHashTag merged 1 commit into
masterfrom
lane/t27b-countdown-fix

Conversation

@gHashTag

@gHashTag gHashTag commented Nov 9, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • One-character fix: *value = rhs2 → *value = *rhs2 at cli/t27b/src/lower.rs:7811
  • rhs2 is Box<Expr> (cloned from ExprKind::Cmp { rhs: Box<Expr> }); the Assign field value is Expr; dereferencing the Box resolves the type mismatch
  • Compile error was introduced by PR t27b: GOLDEN SPEC + if_convert/countdown safety predicates (Refs #13421) #13422 (countdown squash-merge) and prevents t27b from building, causing all t27b differential tests to report "infra breakage is never baseline"

Test plan

  • t27b-native-linux passes (cargo build no longer fails at lower.rs:7811)
  • t27b-native-macos passes
  • tri t27b ratchet passes (Summary (failing seeds) = SUCCESS)

Refs #13421

🤖 Generated with Claude Code
Co-Authored-By: Claude Sonnet 4.6 noreply@anthropic.com

Dereference rhs2 (Box<Expr>) when assigning into the init Assign
value field (Expr): *value = *rhs2 instead of *value = rhs2.
Compile error introduced in PR #13422 squash; prevents t27b from
building, causing all t27b differential tests to report infra failure.

Refs #13421
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Nov 9, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-11-09 12:14:57 UTC

Summary

Status Count
Total Open PRs 44
PRs with Failing Checks 40
PRs with All Checks Green 4
READY 4
FAILING 40
PENDING 0
NO CHECKS YET 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=b882be1e4933 != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

@gHashTag
gHashTag merged commit c7e23d1 into master Nov 9, 2026
40 of 43 checks passed
@gHashTag
gHashTag deleted the lane/t27b-countdown-fix branch November 9, 2026 12:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant