summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
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
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-2/+4
2024-06-28Implement `Self::Effects: Compat<HOST>` desugaringDeadbeef-0/+19
2024-06-28move desugaring to item boundsDeadbeef-31/+0
2024-06-28Implement `Min` trait in new solverDeadbeef-1/+1
2024-06-28implement new effects desugaringDeadbeef-10/+55
2024-06-27Make queries more explicitMichael Goulet-6/+6
2024-06-12Fix outdated predacates_of.rs commentsDeadbeef-5/+4
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+1
2024-06-05Unify optional param info with object lifetime default boolean into an enum t...Oli Scherer-5/+8
2024-06-05Use a `LocalDefId` for `HirTyLowerer::item_def_id`, since we only ever (can) ...Oli Scherer-1/+0
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-1/+1