about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2023-07-22Remove Scope::Elision.Camille GILLOT-38/+21
2023-07-17Properly document lifetime_mapping in OpaqueTyMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-53/+51
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-11/+11
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-6/+2
2023-07-08Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errorsbors-2/+12
2023-07-07Don't ICE in resolve_bound_vars when associated return-type bounds are in bad...Michael Goulet-2/+12
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-1/+10
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-36/+44
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-5/+25
2023-07-04include `host_effect_index` in `Generics`Deadbeef-5/+21
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+5
2023-07-04add testDeadbeef-2/+6
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-3/+16
2023-06-30RPITITs inherit method predicatesMichael Goulet-2/+14
2023-06-30use explicit predicatesMichael Goulet-1/+2
2023-06-30Rollup merge of #113071 - compiler-errors:no-parent-non-lifetime-args-in-apit...Matthias Krüger-6/+49
2023-06-29Add bidirectional where clauses on RPITIT synthesized GATsSantiago Pastorino-2/+56
2023-06-29Intern OpaqueTy on ItemKind::OpaqueTySantiago Pastorino-4/+4
2023-06-29Extract compute_bidirectional_outlives_predicates fnSantiago Pastorino-33/+51
2023-06-27pass PredicateFilter to compute_boundsMichael Goulet-37/+6
2023-06-27Make associated type bounds in supertrait position impliedMichael Goulet-50/+54
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-68/+34
2023-06-26migrate lifetime tooMichael Goulet-6/+4
2023-06-26Account for late-bound vars from parent arg-position impl traitMichael Goulet-0/+45
2023-06-22Expect clause moreMichael Goulet-1/+1
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-20/+14
2023-06-19Fully fledged Clause typeMichael Goulet-17/+13
2023-06-19s/Clause/ClauseKindMichael Goulet-17/+25
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-8/+25
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-06-17`Bound::predicates` to return `Clause`dswij-8/+25
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-06-11properly check associated consts for infer placeholdersMichael Goulet-2/+14
2023-06-02Rollup merge of #112183 - compiler-errors:new-solver-anon-ct, r=BoxyUwUMichael Goulet-2/+2
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-2/+2
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-21/+15
2023-06-02Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errorsMatthias Krüger-1/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-1/+1
2023-06-01Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnrDylan DPC-33/+78
2023-05-31Check that RPITs are compatible with the opaques inferred during HIR typeck tooMichael Goulet-29/+36
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-4/+4
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-5/+8
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-4/+4
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-4/+4
2023-05-26Wait until type_of to remap HIR opaques back to their defn paramsMichael Goulet-28/+66
2023-05-24Split out opaque from type_ofMichael Goulet-305/+303
2023-05-24Rollup merge of #111861 - compiler-errors:rtn-in-super, r=jackh726Matthias Krüger-0/+2
2023-05-23Don't ICE on RPITIT when promoting trait preds to associated type boundsMichael Goulet-0/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 05:29:30 +0000