summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
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
2024-05-24Actually just remove the special case altogetherMichael Goulet-75/+47
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-1/+1
2024-05-16Make P parameter explicitMichael Goulet-13/+12
2024-05-16Rename ToPredicate for UpcastMichael Goulet-10/+10
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-1/+3
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+3
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-3/+3
2024-04-16Avoid unnecessary `rustc_span::DUMMY_SP` usage.Nicholas Nethercote-1/+1
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-2/+2
2024-03-22Rename module astconv to hir_ty_loweringLeón Orell Valerian Liehr-1/+1
2024-03-22Update local variables and tracing callsLeón Orell Valerian Liehr-9/+9
2024-03-22Update (doc) commentsLeón Orell Valerian Liehr-10/+11
2024-03-22Rename AstConv to HIR ty loweringLeón Orell Valerian Liehr-17/+17
2024-03-18Use `hir::Node` helper methods instead of repeat the same impl multiple timesOli Scherer-66/+17
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-4/+2
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-1/+1
2024-02-21Prevent cycle in implied predicates computationMichael Goulet-8/+22
2024-02-17Properly check constrainedness of gen params in the presence of weak alias typesLeón Orell Valerian Liehr-1/+1
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-2/+1
2024-01-08~const trait or projection bounds do not imply non-const boundsMichael Goulet-32/+6
2023-12-15Annotate some bugsMichael Goulet-1/+6
2023-12-12Move some methods from `tcx.hir()` to `tcx`zetanumbers-5/+5
2023-11-26rustc: `hir().local_def_id_to_hir_id()` -> `tcx.local_def_id_to_hir_id()` cle...Vadim Petrochenkov-7/+7
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-3/+3
2023-11-14finish `RegionKind` renamelcnr-3/+3
2023-10-17Auto merge of #116756 - fee1-dead-contrib:dupe-those-bounds, r=oli-obkbors-5/+32
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-1/+3
2023-10-15Duplicate `~const` bounds with a non-const one in effects desugaringDeadbeef-5/+32