rust/compiler/rustc_pattern_analysis/src/constructor.rs, branch 1.81.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.81.02024-07-19T18:52:07+00:00Avoid ref when using format! in compiler2024-07-19T18:52:07+00:00Yuri AstrakhanYuriAstrakhan@gmail.com2024-07-19T15:51:21+00:00urn:sha1:aef0e346de744faeaa522b9c08562bb3e1814adc
Clean up a few minor refs in `format!` macro, as it has a performance cost. Apparently the compiler is unable to inline `format!("{}", &variable)`, and does a run-time double-reference instead (format macro already does one level referencing). Inlining format args prevents accidental `&` misuse.
Replace `f16` and `f128` pattern matching stubs with real implementations2024-06-23T09:28:42+00:00Trevor Grosstmgross@umich.edu2024-03-26T10:01:09+00:00urn:sha1:6fb6c19c961369b98e2dd9466c1a83ac2d783ae2
This section of code depends on `rustc_apfloat` rather than our internal
types, so this is one potential ICE that we should be able to melt now.
This also fixes some missing range and match handling in `rustc_middle`.
Fix union handling in exhaustiveness2024-03-31T22:01:46+00:00Nadrierilnadrieril+git@gmail.com2024-03-31T21:57:53+00:00urn:sha1:27704c7f9eea6e8ffaedac04ae1c932da7422fb7Improve debugging experience2024-03-31T21:12:20+00:00Nadrierilnadrieril+git@gmail.com2024-03-29T18:40:54+00:00urn:sha1:8cf2c0dc67d880e54be03ebb08f7f960c21bb794Require enum indices to be contiguous2024-03-30T15:22:43+00:00Nadrierilnadrieril+git@gmail.com2024-03-30T15:18:18+00:00urn:sha1:e1b8441899b87e52d0b368f55fc921ec668cde1fImprove the `WitnessPat: Debug` impl2024-03-19T01:22:43+00:00Nadrierilnadrieril+git@gmail.com2024-03-04T23:16:11+00:00urn:sha1:e4487ad391503fa109506c40aeba377fda0d97ddRollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errors2024-03-18T21:24:36+00:00Matthias Krügermatthias.krueger@famsik.de2024-03-18T21:24:36+00:00urn:sha1:2d3dcfaadea54c1a606787f3179b378af1ad0b0c
never patterns: suggest `!` patterns on non-exhaustive matches
When a match is non-exhaustive we now suggest never patterns whenever it makes sense.
r? ``@compiler-errors``
Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errors2024-03-13T19:01:57+00:00Matthias Krügermatthias.krueger@famsik.de2024-03-13T19:01:57+00:00urn:sha1:5c2aa6dc6f78ce8cd65dd526ed8a84d2be425c1e
pattern analysis: remove `MaybeInfiniteInt::JustAfterMax`
It was inherited from before half-open ranges, but it doesn't pull its weight anymore. We lose a tiny bit of diagnostic precision as can be seen in the test. I'm generally in favor of half-open ranges over explicit `x..=MAX` ranges anyway.
Remove `MaybeInfiniteInt::JustAfterMax`2024-03-13T13:17:11+00:00Nadrierilnadrieril+git@gmail.com2024-03-13T13:17:11+00:00urn:sha1:c4236785c72fdf04176716393c910b1fb011d15f
It was inherited from before half-open ranges, but it doesn't pull its
weight anymore. We lose a tiny bit of diagnostic precision.
Rename `TypeCx` -> `PatCx`2024-03-13T12:56:38+00:00Nadrierilnadrieril+git@gmail.com2024-03-13T12:56:06+00:00urn:sha1:4fc35c46ff70821a37fec5f7a4c36087704d9f23