os-rust/compiler/rustc_hir_analysis/src
Matthias Krüger 920092531f
Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead
Implement `~const` item bounds in RPIT

an RPIT in a `const fn` is allowed to be conditionally const itself :)

r? fee1-dead or reroll
2024-11-21 07:56:13 +01:00
..
check Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead 2024-11-21 07:56:13 +01:00
coherence Make PointerLike opt-in as a trait 2024-11-20 16:36:12 +00:00
collect Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead 2024-11-21 07:56:13 +01:00
errors Clarify implicit captures for RPITIT 2024-10-10 11:46:51 -07:00
hir_ty_lowering we should not be reporting generic error if there is not a segment to deny 2024-11-20 18:57:02 +00:00
impl_wf_check Rename the FIXMEs, remove a few that dont matter anymore 2024-11-03 18:59:41 +00:00
outlives Implement const effect predicate in new solver 2024-10-24 09:46:36 +00:00
variance Add variances to RPITITs 2024-10-10 11:46:48 -07:00
autoderef.rs Swap Vec<PredicateObligation> to type alias 2024-10-12 15:17:08 +01:00
bounds.rs Merge HostPolarity and BoundConstness 2024-10-30 16:23:16 +00:00
check_unused.rs Remove #[macro_use] extern crate tracing from rustc_hir_analysis. 2024-08-30 17:14:59 +10:00
collect.rs Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead 2024-11-21 07:56:13 +01:00
constrained_generic_params.rs Remove #[macro_use] extern crate tracing from rustc_hir_analysis. 2024-08-30 17:14:59 +10:00
delegation.rs Effects cleanup 2024-10-26 10:19:07 +08:00
errors.rs Check use<..> in RPITIT for refinement 2024-11-18 00:27:44 +00:00
hir_wf_check.rs TypingMode 🤔 2024-10-29 17:01:24 +01:00
impl_wf_check.rs nightly feature tracking: get rid of the per-feature bool fields 2024-10-23 09:14:41 +01:00
lib.rs Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errors 2024-11-20 06:22:01 +00:00