user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/compiler/rustc_hir_analysis/src
History
Trevor Gross a20fe8ff23
Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwU 
implement or-patterns for pattern types

These are necessary to represent `NonZeroI32`, as the range for that is `..0 | 1..`. The `rustc_scalar_layout_range_*` attributes avoided this by just implementing wraparound and having a single `1..=-1` range effectively. See https://rust-lang.zulipchat.com/#narrow/channel/481660-t-lang.2Fpattern-types/topic/.60or.20pattern.60.20representation.20in.20type.20system/with/504217694 for some background discussion

cc https://github.com/rust-lang/rust/issues/123646

r? `@BoxyUwU`
2025-04-29 12:28:22 -04:00
..
check Rollup merge of #140302 - compiler-errors:inline_asm-bug, r=lcnr 2025-04-28 23:29:16 +00:00
coherence Remove weak alias terminology 2025-04-24 11:59:20 +01:00
collect Add or-patterns to pattern types 2025-04-28 07:50:18 +00:00
errors Don't compute name of associated item if it's an RPITIT 2025-04-20 16:08:39 +00:00
hir_ty_lowering Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwU 2025-04-29 12:28:22 -04:00
impl_wf_check convert some GenericArg to Term 2025-04-26 02:05:31 +00:00
outlives Remove weak alias terminology 2025-04-24 11:59:20 +01:00
variance Rollup merge of #139909 - oli-obk:or-patterns, r=BoxyUwU 2025-04-29 12:28:22 -04:00
autoderef.rs respect the tcx's recursion limit when peeling 2025-04-16 15:42:12 -07:00
check_unused.rs Move methods from Map to TyCtxt, part 4. 2025-03-12 08:55:37 +11:00
collect.rs Move has_self field to hir::AssocKind::Fn. 2025-04-14 16:13:04 +10:00
constrained_generic_params.rs Remove weak alias terminology 2025-04-24 11:59:20 +01:00
delegation.rs Stop relying on rustc_type_ir in non-type-system crates 2025-03-15 06:42:48 +00:00
errors.rs Move inline_asm to typeck, properly handle aliases 2025-04-27 22:05:07 +00:00
hir_wf_check.rs Don't construct preds w escaping bound vars in diagnostic_hir_wf_check 2025-04-04 21:09:32 +00:00
impl_wf_check.rs Move name field from AssocItem to AssocKind variants. 2025-04-15 08:07:15 +10:00
lib.rs Make #![feature(let_chains)] bootstrap conditional in compiler/ 2025-04-23 16:40:30 +02:00