about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-08-08Only dedup obligation after new ones have been added.Nicholas Nethercote-4/+4
2023-08-08Size the `deduped` set appropriately.Nicholas Nethercote-1/+1
2023-08-08Simplify the boolean logic in a closure.Nicholas Nethercote-6/+1
2023-08-08Rollup merge of #114594 - compiler-errors:new-solver-resolve-aliases, r=lcnrMatthias Krüger-1/+3
2023-08-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-1/+1
2023-08-07Structurally normalize weak and inherent tooMichael Goulet-1/+3
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-07Migrate a trait selection error to use diagnostic translationDeadbeef-34/+52
2023-08-07Rollup merge of #114549 - chenyukang:yukang-review-resolve-part, r=petrochenkovMatthias Krüger-14/+12
2023-08-06refactor on span_look_aheadyukang-14/+12
2023-08-06lower impl const to bind to host effect paramDeadbeef-21/+0
2023-08-05Also report when goals go from ok to errorMichael Goulet-2/+8
2023-08-04Rollup merge of #114490 - kernelmethod:error-reporting-typos, r=compiler-errorsMichael Goulet-1/+1
2023-08-04Rollup merge of #114287 - lcnr:overflow, r=compiler-errorsMichael Goulet-531/+447
2023-08-05Fix a typo in the error reporting for sealed traits.kernelmethod-1/+1
2023-08-04Rollup merge of #114434 - Nilstrieb:indexing-spans, r=est31Matthias Krüger-1/+1
2023-08-04Rollup merge of #113945 - chenyukang:yukang-fix-113447-slice-2, r=cjgillotMatthias Krüger-3/+13
2023-08-04Improve spans for indexing expressionsNilstrieb-1/+1
2023-08-04Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnrbors-110/+234
2023-08-04Rollup merge of #114355 - compiler-errors:resolve_vars_early, r=lcnrMatthias Krüger-91/+144
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-03Don't be incompleteMichael Goulet-92/+128
2023-08-03Fix upcasting with normalization in old solver, add a testMichael Goulet-2/+12
2023-08-03short-circuit when proj def ids differMichael Goulet-14/+20
2023-08-03Rework upcastingMichael Goulet-96/+168
2023-08-04enable suggest convert to slice for binary operationyukang-3/+5
2023-08-03Fix wrong span for trait selection failure error reportingyukang-0/+8
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-03builtin impl confirmation wuhulcnr-23/+17
2023-08-02Remove constness from `TraitPredicate`Deadbeef-95/+46
2023-08-02Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obkNilstrieb-5/+6
2023-08-02Auto merge of #114358 - matthiaskrgr:rollup-d810m9e, r=matthiaskrgrbors-5/+17
2023-08-02Rollup merge of #114322 - Urgau:fix-issue-110063, r=compiler-errorsMatthias Krüger-3/+12
2023-08-02Rollup merge of #114314 - compiler-errors:sized-crit, r=lcnrMatthias Krüger-2/+2
2023-08-02Auto merge of #114170 - lcnr:add-commmentz, r=compiler-errorsbors-10/+0
2023-08-01Use upvar_tys in more places, make it a listMichael Goulet-5/+6
2023-08-01Don't select infer -> dyn TraitMichael Goulet-0/+3
2023-08-01Convert adt_sized_constraint to early-binder, use listMichael Goulet-2/+2
2023-08-01Rename `maybe_suggest_convert_to_slice` fn name to consistent namingUrgau-3/+3
2023-08-01Fix invalid slice coercion suggestion reported in turbofishUrgau-0/+9
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