about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2022-08-20Rollup merge of #100796 - TaKO8Ki:remove-unnecessary-string-searching, r=comp...Matthias Krüger-14/+17
2022-08-20Rollup merge of #100769 - TaKO8Ki:suggest-adding-reference-to-trait-assoc-ite...Matthias Krüger-7/+25
2022-08-20use more descriptive namesTakayuki Maeda-93/+95
2022-08-20remove unnecessary string searchingsTakayuki Maeda-14/+17
2022-08-20suggest adding a reference to a trait assoc itemTakayuki Maeda-85/+101
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-6/+6
2022-08-18Auto merge of #99860 - oli-obk:revert_97346, r=pnkfelixbors-4/+14
2022-08-17`is_knowable` use `Result` instead of `Option`lcnr-8/+8
2022-08-16Fix error message with non-tupled bare fn traitMichael Goulet-3/+27
2022-08-15Rollup merge of #100514 - compiler-errors:issue-100191, r=spastorinoMatthias Krüger-1/+7
2022-08-14TypeError can be CopyMichael Goulet-5/+3
2022-08-14Rollup merge of #99861 - lcnr:orphan-check-cg, r=jackh726Dylan DPC-1/+15
2022-08-13Delay span bug when failing to normalize negative coherence impl subject due ...Michael Goulet-1/+7
2022-08-13wf correctly shallow_resolve constslcnr-9/+7
2022-08-11Auto merge of #100315 - compiler-errors:norm-ct-in-proj, r=lcnrbors-3/+20
2022-08-09Move folding into just projection casesMichael Goulet-10/+20
2022-08-09Auto merge of #99217 - lcnr:implied-bounds-pre-norm, r=lcnrbors-0/+21
2022-08-09Rollup merge of #100221 - compiler-errors:impossible-trait-items, r=lcnr,notr...Dylan DPC-1/+76
2022-08-09don't normalize wf predicateslcnr-0/+21
2022-08-09Keep going if normalized projection has unevaluated consts in QueryNormalizerMichael Goulet-1/+8
2022-08-08Adjust wordingMichael Goulet-3/+3
2022-08-07Implement special-cased projection error message for some common traitsMichael Goulet-13/+49
2022-08-07Don't document impossible to call default trait items on implsMichael Goulet-1/+77
2022-08-06Auto merge of #99743 - compiler-errors:fulfillment-context-cleanups, r=jackh726bors-78/+90
2022-08-04Rollup merge of #100095 - jackh726:early-binder, r=lcnrMatthias Krüger-15/+19
2022-08-04Address nitsMichael Goulet-3/+16
2022-08-04Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize`Michael Goulet-36/+48
2022-08-04Use ObligationCtxt in impossible_predicatesMichael Goulet-12/+5
2022-08-04Remove unnecessary FulfillmentContext from need_migrate_deref_output_trait_ob...Michael Goulet-21/+19
2022-08-04Remove FulfillmentContext param from fully_normalizeMichael Goulet-15/+11
2022-08-03Rollup merge of #99795 - compiler-errors:delay-specialization-normalize-error...Matthias Krüger-4/+6
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-12/+14
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-9/+9
2022-08-03Change sized_constraints to return EarlyBinderJack Huey-1/+5
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-5/+5
2022-08-03Auto merge of #99509 - lcnr:commit_unconditionally, r=jackh726bors-186/+167
2022-08-03Delay a bug when failed to normalize trait ref during specializationMichael Goulet-4/+6
2022-08-02Auto merge of #92268 - jswrenn:transmute, r=oli-obkbors-0/+77
2022-08-02Auto merge of #100063 - matthiaskrgr:rollup-lznouys, r=matthiaskrgrbors-2/+2
2022-08-02Rollup merge of #99987 - Alexendoo:parse-format-position-span, r=fee1-deadMatthias Krüger-2/+2
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-4/+1
2022-08-02Rollup merge of #99156 - lcnr:omoe-wa, r=wesleywiserMatthias Krüger-2/+0
2022-08-01Remove trait_of_item query.Camille GILLOT-1/+1
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-3/+3
2022-08-01Store associated item defaultness in impl_defaultness.Camille GILLOT-3/+8
2022-08-01fmt...Ellen-4/+1
2022-08-01Rollup merge of #100012 - TaKO8Ki:avoid-ty-to-string-conversions, r=fee1-deadMatthias Krüger-5/+4
2022-08-01Rollup merge of #99911 - cjgillot:no-guess, r=davidtwcoMatthias Krüger-1/+0
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-08-01avoid `Ty` to `String` conversionsTakayuki Maeda-5/+4