summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect/predicates_of.rs
AgeCommit message (Expand)AuthorLines
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
2023-10-13Fix a commentDeadbeef-1/+1
2023-10-13Format all the let chains in compilerMichael Goulet-1/+3
2023-09-01Don't manually walk through param indices when adding implicit Sized and Cons...Michael Goulet-29/+5
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-66/+28
2023-08-08Unconditionally record lifetime mappingMichael Goulet-1/+1
2023-08-05Consolidate opaque ty and async fn lowering codeMichael Goulet-1/+1
2023-08-02Remove constness from `TraitPredicate`Deadbeef-12/+4
2023-07-28Type-check generic const itemsLeón Orell Valerian Liehr-0/+2
2023-07-17Properly document lifetime_mapping in OpaqueTyMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-21/+20
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+8
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+5
2023-06-30RPITITs inherit method predicatesMichael Goulet-2/+14
2023-06-30use explicit predicatesMichael Goulet-1/+2
2023-06-29Add bidirectional where clauses on RPITIT synthesized GATsSantiago Pastorino-2/+56
2023-06-29Intern OpaqueTy on ItemKind::OpaqueTySantiago Pastorino-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 17:05:49 +0000