about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Collapse)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
Rollup of 8 pull requests Successful merges: - #113413 (Add needs-triage to all new issues) - #113426 (Don't ICE in `resolve_bound_vars` when associated return-type bounds are in bad positions) - #113427 (Remove `variances_of` on RPITIT GATs, remove its one use-case) - #113441 (miri: check that assignments do not self-overlap) - #113453 (Remove unused from_method from rustc_on_unimplemented) - #113456 (Avoid calling report_forbidden_specialization for RPITITs) - #113466 (Update cargo) - #113467 (Fix comment of `fn_can_unwind`) r? `@ghost` `@rustbot` modify labels: rollup
2023-07-07Don't ICE in resolve_bound_vars when associated return-type bounds are in ↵Michael Goulet-2/+12
bad positions
2023-07-07Require TAITs to be mentioned in the signatures of functions that register ↵Oli Scherer-1/+10
hidden types for them
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
Effects/keyword generics MVP This adds `feature(effects)`, which adds `const host: bool` to the generics of const functions, const traits and const impls. This will be used to replace the current logic around const traits. r? `@oli-obk`
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
Make RPITITs assume/require their parent method's predicates Removes a FIXME from the `param_env` query where we were manually adding the parent function's predicates to the RPITIT's assumptions. r? `@spastorino`
2023-06-30RPITITs inherit method predicatesMichael Goulet-2/+14
2023-06-30use explicit predicatesMichael Goulet-1/+2
2023-06-30Rollup merge of #113071 - ↵Matthias Krüger-6/+49
compiler-errors:no-parent-non-lifetime-args-in-apit, r=eholk Account for late-bound vars from parent arg-position impl trait We should be reporting an error like we do for late-bound args coming from a parent APIT. Fixes #113016
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
Make `Bound::predicates` use `Clause` Part of #107250 `Bound::predicates` returns an iterator over `Binder<_, Clause>` instead of `Predicate`. I tried updating `explicit_predicates_of` as well, but it seems that it needs a lot more change than I thought. Will do it in a separate PR instead.
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
Only use it when the type alias contains an opaque type. Also does wf-checking on such type aliases.
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
Normalize anon consts in new solver We don't do any of that `expand_abstract_consts` stuff so this isn't sufficient to make GCE work, but it does allow, e.g. `[(); 1]: Default`, to solve. r? `@BoxyUwU`
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
Rename `impl_defaultness` to `defaultness` Since this isn't just about the `impl`.
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
Preserve substs in opaques recorded in typeck results This means that we now prepopulate MIR with opaques with the right substs. The first commit is a hack that I think we discussed, having to do with `DefiningAnchor::Bubble` basically being equivalent to `DefiningAnchor::Error` in the new solver, so having to use `DefiningAnchor::Bind` instead, lol. r? `@lcnr`
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
`EarlyBinder::new` -> `EarlyBinder::bind` for consistency with `Binder::bind`. it may make sense to also add `EarlyBinder::dummy` in places where we know that no parameters exist, but I left that out of this PR. r? `@jackh726` `@kylematsuda`
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
Don't ICE on return-type notation when promoting trait preds to associated type bounds Fixes #111846
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-07-13 14:18:43 +0000