summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
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
2024-08-24Get rid of predicates_defined_onMichael Goulet-4/+21
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-07-31Delegation: second attempt to improve perfBryanskiy-7/+10
2024-07-29Delegation: support generics for delegation from free functionsBryanskiy-0/+8
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+6
2024-07-16Use `ConstArg` for const param defaultsNoah Lev-1/+1
2024-06-29Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obkbors-10/+45