about summary refs log tree commit diff
path: root/tests/ui/traits/next-solver
AgeCommit message (Expand)AuthorLines
2025-09-30add testslcnr-0/+60
2025-09-29add testslcnr-0/+39
2025-09-28Rollup merge of #146675 - Jules-Bertholet:sync-nonexclusive, r=Mark-SimulacrumMatthias Krüger-0/+2
2025-09-26fix cycle head usages trackinglcnr-0/+55
2025-09-24allow bound regions in writebacklcnr-0/+14
2025-09-21Bless UI testsJules Bertholet-0/+2
2025-09-16Fix other uses of "adaptor"Joe Birr-Pixton-1/+1
2025-08-25support non-defining uses in HIR typecklcnr-25/+89
2025-08-23Auto merge of #145706 - lcnr:uniquification, r=BoxyUwUbors-11/+9
2025-08-22On E0277, point at type that doesn't implement boundEsteban Küber-10/+49
2025-08-22change HIR typeck unification handling approachlcnr-11/+9
2025-08-14add regression testlcnr-0/+43
2025-07-31add testslcnr-0/+81
2025-07-30handle region dependent goals due to infer varslcnr-0/+52
2025-07-25uniquify root goals during HIR typecklcnr-0/+73
2025-07-20Consider param-env for fast pathMichael Goulet-40/+2
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-1/+1
2025-07-03Remove PointerLike traitMichael Goulet-38/+0
2025-06-30Move lazy type alias checks to non-hir-wfckOli Scherer-2/+2
2025-06-27Rollup merge of #142671 - davidtwco:no-default-bounds-attr, r=lcnrGuillaume Gomez-82/+99
2025-06-27tests: add #![rustc_no_implicit_bounds]David Wood-82/+99
2025-06-24Make missing lifetime suggestion verboseMichael Goulet-3/+6
2025-06-16tests: bless remaining testsDavid Wood-2/+40
2025-06-09Apply nested goals certainty to InspectGoals for normalizes-toMichael Goulet-7/+21
2025-06-02Fast path for stalled obligations on self tyMichael Goulet-5/+2
2025-05-29Structurally normalize types as needed in projection_ty_coreMichael Goulet-0/+32
2025-05-21Rollup merge of #141347 - lcnr:lets-make-it-unsound-3, r=compiler-errorsMatthias Krüger-0/+33
2025-05-21fix better_any breakage by making the solver more unsoundlcnr-0/+33
2025-05-21Rollup merge of #141334 - lcnr:coerce-nested-obligations, r=compiler-errorsMatthias Krüger-0/+16
2025-05-21Rollup merge of #141333 - compiler-errors:param-env-candidate-unnorm, r=lcnrMatthias Krüger-0/+46
2025-05-21eagerly check nested obligations when coercing fndefslcnr-0/+16
2025-05-21Use DeepRejectCtxt in assemble_inherent_candidates_from_paramMichael Goulet-0/+46
2025-05-21Do not eagerly fold consts in normalize_param_env_or_error if new solverMichael Goulet-0/+10
2025-05-08Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnrMatthias Krüger-0/+56
2025-05-07Use MaybeCause::or to allow constraints from overflows if they are combined w...Michael Goulet-0/+56
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-19/+16
2025-05-06support duplicates in the opaque_types_storagelcnr-0/+25
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-5/+18
2025-04-26Rollup merge of #140306 - lcnr:specialization-new, r=compiler-errorsMatthias Krüger-31/+24
2025-04-25Track per-obligation recursion depth only if there is inferenceMichael Goulet-0/+31
2025-04-25handle specialization in the new trait solverlcnr-31/+24
2025-04-24norm nested aliases before evaluating the parent goallcnr-0/+45
2025-04-18Don't assemble non-env/bound candidates if projection is rigidMichael Goulet-0/+32
2025-04-17Rollup merge of #139774 - compiler-errors:supertrait-alias, r=lcnrMatthias Krüger-0/+103
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-0/+103
2025-04-16stepping into impls for norm is unproductivelcnr-0/+188
2025-04-15Rollup merge of #139791 - lcnr:ignore-global-where-bounds, r=compiler-errorsStuart Cook-4/+25
2025-04-14drop global where-bounds before merging candidateslcnr-4/+25
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
2025-04-12tests: ensure disabled tests have a reasonJieyou Xu-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 10:30:42 +0000