about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2023-01-11Rollup merge of #106397 - compiler-errors:new-solver-impl-wc, r=lcnrnils-6/+21
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-4/+4
2023-01-11Rollup merge of #106521 - oskgo:remove-E0280, r=jackh726Yuki Okushi-7/+11
2023-01-10remove E0280 and ICE insteadbowlerman-7/+11
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-3/+0
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-3/+0
2023-01-09Check impl's where clauses in consider_impl_candidate in experimental solverMichael Goulet-6/+21
2023-01-09Rollup merge of #106389 - compiler-errors:no-canonicalized, r=lcnrfee1-dead-41/+41
2023-01-09Rollup merge of #105655 - RedDocMD:bug-105645, r=oli-obkfee1-dead-0/+7
2023-01-09Clean upkadmin-23/+9
2023-01-09Check for duplicateskadmin-3/+15
2023-01-09Set !const_evaluatable if ambig. and not inferredkadmin-12/+10
2023-01-09Change based on commentskadmin-7/+26
2023-01-09Change commit_if_ok to probekadmin-8/+3
2023-01-08Rollup merge of #106497 - chenyukang:yukang/fix-106443-sugg-clone, r=estebankMichael Goulet-1/+62
2023-01-08Add type flags support for Ty and Const late-bound regionsMichael Goulet-4/+3
2023-01-07Auto merge of #106519 - estebank:tail-unit, r=cjgillotbors-19/+107
2023-01-06Rollup merge of #106525 - compiler-errors:new-solver-wf, r=jackh726Michael Goulet-2/+2
2023-01-07use type_implements_trait to check Param cloneyukang-20/+7
2023-01-07comments feedbackyukang-50/+51
2023-01-07Suggest possible clone when we have &Tyukang-2/+75
2023-01-06Rollup merge of #106499 - lyming2007:issue-105946-fix, r=estebankDylan DPC-4/+11
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