summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
2025-03-18Move `hir::Item::ident` into `hir::ItemKind`.Nicholas Nethercote-3/+4
2025-03-01Rollup merge of #137837 - fee1-dead-contrib:push-pvqvwuvrnwsy, r=compiler-errorsMatthias Krüger-7/+3
2025-03-01Update `const_conditions` and `explicit_implied_const_bounds` docsDeadbeef-7/+3
2025-02-28Introduce `feature(generic_const_parameter_types)`Boxy-4/+1
2025-02-21Move methods from Map to TyCtxt, part 3.Nicholas Nethercote-2/+1
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-2/+2
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-18/+17
2025-02-08Rustfmtbjorn3-4/+4
2025-01-16Auto merge of #134504 - oli-obk:push-rltsvnyttwll, r=compiler-errorsbors-1/+1
2025-01-10remove more redundant into() conversionsMatthias Krüger-1/+1
2025-01-09Use trait definition cycle detection for trait alias definitions, tooOli Scherer-1/+1
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-1/+1
2024-12-18Rollup merge of #133926 - compiler-errors:const-conditions, r=lcnr许杰友 Jieyou Xu (Joe)-11/+30
2024-12-18Fix const conditions for RPITITsMichael Goulet-11/+30
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-10Validate self in host predicates correctlyMichael Goulet-2/+9
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-38/+58
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-10/+11
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-3/+10
2024-11-19Implement ~const opaquesMichael Goulet-1/+8
2024-11-19Rename implied_const_bounds to explicit_implied_const_boundsMichael Goulet-2/+2
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-2/+3
2024-10-31Double check the lowered predicates in type_param_predicatesMichael Goulet-7/+24
2024-10-31Make SelfTraitThatDefines a tighter filterMichael Goulet-18/+42
2024-10-31Make predicate filter in `probe_ty_param_bounds_in_generics` more explicitMichael Goulet-17/+17
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-0/+10
2024-10-30Make sure type_param_predicates resolves correctly for RPITITMichael Goulet-0/+10
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-6/+6
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-6/+6
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-7/+0
2024-10-26Effects cleanupDeadbeef-14/+6
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-60/+20
2024-10-24Implement const effect predicate in new solverMichael Goulet-5/+234
2024-10-24Remove associated type based effects logicMichael Goulet-21/+0
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-10-20Inline lower_mono_bounds into lower_poly_boundsMichael Goulet-6/+10
2024-10-20Make LowerPolyBounds take an IntoIteratorMichael Goulet-2/+2
2024-10-19Use PredicateFilter instead of OnlySelfBoundsMichael Goulet-36/+4
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-1/+1
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-1/+1
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-21Rollup merge of #130666 - compiler-errors:super-bounds, r=fee1-dead,fmeaseMichael Goulet-0/+54
2024-09-21Assert that explicit_super_predicates_of and explicit_item_bounds truly only ...Michael Goulet-0/+54
2024-09-20Implement RTN in resolve_bound_vars and HIR ty loweringMichael Goulet-6/+7
2024-09-07Auto merge of #126161 - Bryanskiy:delegation-generics-4, r=petrochenkovbors-10/+6
2024-09-05Delegation: support generics in associated delegation itemsBryanskiy-10/+6
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-30/+29