about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
2025-07-18Update comment about `where Ty:`León Orell Valerian Liehr-10/+6
2025-07-17parse `const trait Trait`Deadbeef-2/+2
2025-07-15Implement other logicstiif-0/+2
2025-07-15Lower the UnstableFeatureBound predicate to UnstableFeature predicatetiif-0/+14
2025-06-27Rollup merge of #143106 - yotamofek:pr/gce/non-local-ice, r=BoxyUwUMatthias Krüger-1/+3
2025-06-27gce: don't ICE on non-local constYotam Ofek-1/+3
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-3/+3
2025-06-16hir_analysis: add `{Meta,Pointee}Sized` boundsDavid Wood-5/+20
2025-04-10Rollup merge of #139510 - nnethercote:name-to-ident, r=fee1-deadMatthias Krüger-8/+8
2025-04-10Rename some `name` variables as `ident`.Nicholas Nethercote-8/+8
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-04-04Default auto traits: fix perfBryanskiy-27/+3
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-4/+57
2025-04-03Initial support for auto traits with default boundsBryanskiy-4/+57
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-1/+1
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