Landing: b44ed1c5e770

← All landings

Project / Subsystem

gcc / gccrs

Date

2026-05-19

Author

Egas Ribeiro

Commit

b44ed1c5e770490c0d73c648a741263c12be6328

Source

github

Perf win

Breaking

View on GitHub →

All attributes

project: gcc
subsystem: gccrs
patch_id: —
commit_hash: b44ed1c5e770490c0d73c648a741263c12be6328
source_type: github
headline: Rust HIR patterns gain type-aware refutability checks
tldr: Rust HIR patterns now determine refutability using type context for more accurate analysis.
author: Egas Ribeiro
outcome: committed
performance_win: false
breaking_change: false
series_id: —
series_parts: []
tags: • gccrs
• rust
• pattern matching
• compiler
discussion_id_link: —
bugzilla_pr: —
url: https://github.com/gcc-mirror/gcc/commit/b44ed1c5e770490c0d73c648a741263c12be6328
date: 2026-05-19T00:00:00.000Z

The Rust frontend in GCC has introduced is_refutable() methods to its High-Level Intermediate Representation (HIR) pattern nodes. These methods distinguish between patterns whose refutability can be determined syntactically (like wildcards and literals) and those requiring type information. This enhancement is crucial for accurate pattern matching analysis and addresses issue Rust-GCC#2082.