about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-27Address review commentsMichael Goulet-68/+74
2024-11-27Handle bounds that come from the trait itselfMichael Goulet-27/+43
2024-11-27Robustify and genericize RTN resolution in RBVMichael Goulet-33/+86
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-16/+20
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-11-10Deny capturing late-bound ty/ct params in nested opaquesMichael Goulet-10/+27
2024-11-10Revert "Skip late-bound lifetimes when crossing an AnonConst."Michael Goulet-12/+2
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-2/+2
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-2/+2
2024-11-04find the generic container rather than simply looking up for the assoc with c...bohan-8/+2
2024-11-02Rollup merge of #132466 - cjgillot:opaque-late, r=compiler-errorsMatthias Krüger-3/+20
2024-11-01Skip late-bound lifetimes when crossing an AnonConst.Camille GILLOT-2/+12
2024-11-01Account for late-bound depth when capturing all opaque lifetimes.Camille GILLOT-1/+8
2024-10-31Double check the lowered predicates in type_param_predicatesMichael Goulet-7/+24
2024-10-31Make SelfTraitThatDefines a tighter filterMichael Goulet-21/+45
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-3/+10
2024-10-31Rollup merge of #132374 - fmease:rm-dead-eff-code, r=compiler-errorsMatthias Krüger-3/+0
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-3/+0
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-30Actually capture all in-scope lifetimes.Camille GILLOT-43/+29
2024-10-30Review comments.Camille GILLOT-1/+1
2024-10-30Adapt comments.Camille GILLOT-12/+12
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-110/+289
2024-10-29Rollup merge of #132194 - compiler-errors:rpitit-super-wc, r=spastorinoJubilee-14/+2
2024-10-27Rollup merge of #132043 - compiler-errors:simplify-rbv, r=cjgillotMatthias Krüger-79/+75
2024-10-26Collect item bounds for RPITITs from trait where clauses just like associated...Michael Goulet-14/+2
2024-10-26Effects cleanupDeadbeef-16/+8
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-9/+266
2024-10-24Remove associated type based effects logicMichael Goulet-50/+4
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-7/+7
2024-10-22Deduplicate handling of early-bound params in RTNMichael Goulet-22/+29
2024-10-22Simplify confusing ResolvedArg constructorsMichael Goulet-57/+46
2024-10-20Inline lower_mono_bounds into lower_poly_boundsMichael Goulet-8/+15
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-3/+3
2024-10-04Simplify bound var resolution.Camille GILLOT-29/+27
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-128/+90
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-41/+49
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-6/+8
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-2/+2
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-26/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 19:05:22 +0000