about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-08-25Don't create an extra infcx in report_closure_arg_mismatchMichael Goulet-3/+1
2022-08-25no unnormalized types for implied boundslcnr-1/+12
2022-08-25Rollup merge of #99332 - jyn514:stabilize-label-break-value, r=petrochenkovYuki Okushi-1/+1
2022-08-24Use ExprItemObligation and ExprBindingObligation tooMichael Goulet-1/+3
2022-08-24Note binding obligation causes for const equate errorsMichael Goulet-3/+16
2022-08-24Rollup merge of #100888 - spastorino:coherence-negative-impls-implied-bounds,...Matthias Krüger-11/+146
2022-08-23Stabilize `#![feature(label_break_value)]`Joshua Nelson-1/+1
2022-08-23Rollup merge of #100368 - chenyukang:fix-100321, r=lcnrDylan DPC-3/+0
2022-08-23Use CRATE_HIR_ID and CRATE_DEF_ID for obligations from foreign cratesSantiago Pastorino-11/+13
2022-08-23Do not use unneeded extra errors variableSantiago Pastorino-2/+1
2022-08-23Permit negative impls coherence to take advantage of implied boundsSantiago Pastorino-8/+26
2022-08-23Move InferCtxtExt to rustc_trait_selectionSantiago Pastorino-0/+116
2022-08-23Rollup merge of #100789 - compiler-errors:issue-99662, r=spastorinoMatthias Krüger-13/+8
2022-08-22safe transmute: use `Assume` struct to provide analysis optionsJack Wrenn-16/+4
2022-08-22remove hack fix since we don't have no overflow diagnosticyukang-3/+0
2022-08-22Auto merge of #100868 - Dylan-DPC:rollup-a1hfi1r, r=Dylan-DPCbors-0/+12
2022-08-22Rollup merge of #100757 - ouz-a:issue-95134, r=jackh726Dylan DPC-0/+12
2022-08-22Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakisbors-1/+22
2022-08-21Bless tests after #100769Michael Goulet-92/+95
2022-08-21Adjust messages, address some nitsMichael Goulet-38/+38
2022-08-21Targeted fixes addressing erroneous suggestionsMichael Goulet-9/+27
2022-08-21Note closure kind mismatch causeMichael Goulet-2/+1
2022-08-21Rework point-at-argMichael Goulet-46/+34
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-20Use separate infcx to solve obligations during negative coherenceMichael Goulet-13/+8
2022-08-20suggest adding a reference to a trait assoc itemTakayuki Maeda-85/+101
2022-08-19Catch overflow earlyouz-a-0/+12
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-18Avoid overflow in is_impossible_methodMichael Goulet-3/+10
2022-08-17dedup some codelcnr-1/+22
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-13avoid cloning and then iteratingKaDiWa-1/+1
2022-08-12Adjust cfgsMark Rousskov-1/+0
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