about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve
AgeCommit message (Expand)AuthorLines
2023-08-10make the provisional cache slightly less brokenlcnr-40/+57
2023-08-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-1/+1
2023-08-07Rollup merge of #114196 - compiler-errors:bubble-pls, r=lcnrMatthias Krüger-23/+24
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-1/+1
2023-08-05Also report when goals go from ok to errorMichael Goulet-2/+8
2023-08-04Rollup merge of #114287 - lcnr:overflow, r=compiler-errorsMichael Goulet-531/+447
2023-08-04Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnrbors-37/+93
2023-08-03Remove trivial region constraintsMichael Goulet-1/+6
2023-08-03resolve before canonicalization, ICE if unresolvedMichael Goulet-67/+114
2023-08-03separate calculation and interning of external query constraintsMichael Goulet-27/+28
2023-08-03short-circuit when proj def ids differMichael Goulet-9/+14
2023-08-03Rework upcastingMichael Goulet-37/+88
2023-08-03inline helper methods into `with_new_goal`lcnr-115/+80
2023-08-03rewrite stack dependent overflow handlinglcnr-173/+180
2023-08-03handle overflow in the `EvalCtxt` separatelylcnr-189/+156
2023-08-03add `ensure_sufficient_stack` to the new solverlcnr-18/+21
2023-08-03fix `make_ambiguous_response_no_constraints`lcnr-47/+41
2023-08-03avoid more `ty::Binder:dummy`lcnr-36/+16
2023-08-02Remove constness from `TraitPredicate`Deadbeef-1/+0
2023-08-02Rollup merge of #114314 - compiler-errors:sized-crit, r=lcnrMatthias Krüger-1/+1
2023-08-01Don't select infer -> dyn TraitMichael Goulet-0/+3
2023-08-01Convert adt_sized_constraint to early-binder, use listMichael Goulet-1/+1
2023-07-31Rollup merge of #114200 - compiler-errors:detect-tail-unsize-then-upcast, r=lcnrMatthias Krüger-5/+20
2023-07-31Rollup merge of #114169 - lcnr:unsize, r=compiler-errorsMatthias Krüger-218/+258
2023-07-29Detect trait upcasting through struct tail unsizingMichael Goulet-5/+20
2023-07-29Bubble up nested goals from equation in predicates_for_object_candidateMichael Goulet-23/+24
2023-07-28fix commentlcnr-2/+2
2023-07-28refactor builtin unsize handling, extend commentslcnr-217/+257
2023-07-28Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obkbors-8/+5
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-8/+5
2023-07-27Consider a goal as NOT changed if its response is identity modulo regionsMichael Goulet-1/+1
2023-07-27Revert "don't uniquify regions when canonicalizing"Michael Goulet-11/+14
2023-07-25Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnrMatthias Krüger-0/+1
2023-07-25Make everything builtin!Michael Goulet-264/+211
2023-07-25Consolidate trait upcasting and unsize into one normalizationMichael Goulet-197/+237
2023-07-25Restore tuple unsizing feature gateMichael Goulet-0/+3
2023-07-25Make sure to detect trait upcasting coercion even after normalizationMichael Goulet-1/+7
2023-07-25Normalize the RHS of an unsize goalMichael Goulet-67/+139
2023-07-24Rollup merge of #113987 - compiler-errors:comments, r=lcnrMatthias Krüger-16/+64
2023-07-24lcnr's suggestionsMichael Goulet-4/+5
2023-07-23more clippy::style fixes:Matthias Krüger-2/+2
2023-07-23Comment stuff in the new solverMichael Goulet-16/+63
2023-07-22Get rid of subst-relate incompleteness in new solverMichael Goulet-9/+12
2023-07-21Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk"David Tolnay-14/+3
2023-07-21Auto merge of #113922 - matthiaskrgr:rollup-90cj2vv, r=matthiaskrgrbors-13/+12
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-0/+1
2023-07-21new solver: add a separate cache for coherencelcnr-13/+12
2023-07-21Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checksMoulins-3/+14
2023-07-20update doc commentslcnr-10/+17
2023-07-20reviewlcnr-4/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 23:43:25 +0000