about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-01-05fix [type error] for error E0029 and E0277Yiming Lei-4/+11
2023-01-06Tweak outputEsteban Küber-4/+4
2023-01-06Report WF error for new solver tooMichael Goulet-2/+2
2023-01-06Detect bindings assigned blocks without tail expressions in trait errorsEsteban Küber-19/+107
2023-01-05Auto merge of #106482 - compiler-errors:rollup-g7n1p39, r=compiler-errorsbors-24/+25
2023-01-04Rollup merge of #106403 - compiler-errors:rename-hir-methods, r=cjgillotMichael Goulet-13/+11
2023-01-05Auto merge of #105409 - compiler-errors:closure-infer-cycle, r=jackh726bors-1/+20
2023-01-04Rename stock solver to classicMichael Goulet-2/+2
2023-01-04Split `-Zchalk` flag into `-Ztrait-solver=(stock|chalk|next)` flagMichael Goulet-11/+14
2023-01-04get_parent and find_parentMichael Goulet-4/+2
2023-01-04rename get_parent_node to parent_idMichael Goulet-11/+11
2023-01-03Simplify some canonical type alias namesMichael Goulet-41/+41
2023-01-03has_overflow only if value is *not* within limitMichael Goulet-1/+1
2023-01-01Merge multiple mutable borrows of immutable binding errorsEsteban Küber-1/+1
2022-12-30Auto merge of #106210 - fee1-dead-contrib:const-closure-trait-method, r=compi...bors-7/+27
2022-12-29Auto merge of #106266 - matthiaskrgr:rollup-cxrdbzy, r=matthiaskrgrbors-4/+10
2022-12-29Rollup merge of #106202 - estebank:trim-paths, r=NilstriebMatthias Krüger-4/+10
2022-12-29Rollup merge of #106223 - estebank:suggest-let-ty-borrow, r=compiler-errorsMatthias Krüger-0/+9
2022-12-29Rollup merge of #106221 - Nilstrieb:rptr-more-like-ref-actually, r=compiler-e...Matthias Krüger-1/+1
2022-12-28On unsized locals with explicit types suggest `&`Esteban Küber-0/+9
2022-12-28Rename `Rptr` to `Ref` in AST and HIRNilstrieb-1/+1
2022-12-28Auto merge of #106129 - compiler-errors:compare_method-tweaks, r=BoxyUwUbors-1/+1
2022-12-28Allow trait method paths to satisfy const Fn boundsDeadbeef-7/+27
2022-12-28better names and a commentMichael Goulet-1/+1
2022-12-27Trim more paths in obligation typesEsteban Küber-4/+10
2022-12-27Restore cyclic closure messageMichael Goulet-1/+20
2022-12-27Rollup merge of #106151 - TaKO8Ki:remove-unused-imports, r=jackh726fee1-dead-1/+0
2022-12-26remove unused importsTakayuki Maeda-1/+0
2022-12-25fix more clippy::style findingsMatthias Krüger-24/+19
2022-12-24Rollup merge of #105975 - jeremystucki:rustc-remove-needless-lifetimes, r=eholkMatthias Krüger-11/+8
2022-12-23Rollup merge of #105661 - lcnr:evaluate-new, r=compiler-errorsnils-69/+1422
2022-12-21Don't call typeck if we have no typeck resultsMichael Goulet-11/+8
2022-12-21CollectAllMismatches relation should respect int/float infer varsMichael Goulet-7/+20
2022-12-21Rename things to be a bit clearerMichael Goulet-14/+11
2022-12-21Substitute things correctlyMichael Goulet-1/+2
2022-12-21Remove some unnecessary try_map_boundMichael Goulet-8/+2
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-11/+8
2022-12-20dedup assemblylcnr-298/+267
2022-12-19implement the skeleton of the updated trait solverlcnr-69/+1453
2022-12-19Rollup merge of #105882 - compiler-errors:issue-105832, r=jackh726Dylan DPC-5/+3
2022-12-19Rollup merge of #105839 - LegionMammal978:mut-upvar-not-send, r=lcnrDylan DPC-17/+22
2022-12-18Rollup merge of #105873 - matthiaskrgr:clippy_fmt, r=NilstriebMatthias Krüger-8/+8
2022-12-18Rollup merge of #105869 - matthiaskrgr:clone_on_copy, r=compiler-errorsMatthias Krüger-2/+2
2022-12-18Rollup merge of #105867 - matthiaskrgr:rec_param, r=compiler-errorsMatthias Krüger-6/+1
2022-12-18Don't ICE in closure arg borrow suggestionMichael Goulet-5/+3
2022-12-18Rollup merge of #105875 - matthiaskrgr:needless_borrowed_reference, r=oli-obkMatthias Krüger-1/+1
2022-12-18don't restuct references just to reborrowMatthias Krüger-1/+1
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-2/+2
2022-12-18use &str / String literals instead of format!()Matthias Krüger-8/+8
2022-12-18remove redundant fn params that were only "used" in recursionMatthias Krüger-6/+1