summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/mod.rs
AgeCommit message (Expand)AuthorLines
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-10/+3
2022-12-03Don't add a note for implementing a trait if its inner type is erroneousbhbs-15/+20
2022-11-29Rollup merge of #105066 - lcnr:mv-candidate_from_obligation, r=compiler-errorsMatthias Krüger-0/+204
2022-11-29move `candidate_from_obligation` out of assemblylcnr-0/+204
2022-11-29Explain why rematch_impl fails to be infallibleMichael Goulet-0/+7
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-13/+6
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-13/+6
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-11/+55
2022-11-25Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgrbors-14/+2
2022-11-25Rollup merge of #104716 - lcnr:selection-candidate, r=jackh726Matthias Krüger-14/+2
2022-11-25Auto merge of #104846 - spastorino:santa-clauses-make-goals-early-christmas-ð...bors-6/+10
2022-11-25move 2 candidates into builtin candidatelcnr-14/+2
2022-11-25Make `expand_abstract_consts` infallibleBoxy-4/+2
2022-11-25also handle it in evaluateBoxy-24/+51
2022-11-25fmtBoxy-16/+18
2022-11-25Add expand_abstract_constkadmin-11/+8
2022-11-25Add empty ConstKind::Abstractkadmin-4/+24
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-6/+10
2022-11-24Assert that we don't capture escaping bound vars in Fn trait selectionMichael Goulet-5/+9
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-23/+8
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-36/+13
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-2/+1
2022-11-21Use iterators instead of slices at more sitesOli Scherer-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-36/+12
2022-11-19Rollup merge of #104469 - estebank:long-types, r=oli-obkMatthias Krüger-4/+17
2022-11-18On E0275 do not print out the full type in the msgEsteban Küber-4/+17
2022-11-18rename `is_tainted_by_errors` Boxy-1/+1
2022-11-18`InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed`Boxy-5/+3
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-2/+2
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-2/+2
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-6/+0
2022-11-10More nitsMichael Goulet-4/+1
2022-11-10make `Sized` coinductivelcnr-1/+4
2022-11-09Auto merge of #103723 - CastilloDel:master, r=jackh726bors-1/+8
2022-11-09Auto merge of #103171 - jackh726:gen-interior-hrtb-error, r=cjgillotbors-0/+1
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-1/+8
2022-11-08selection failure: recompute applicable implslcnr-4/+0
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-0/+1
2022-11-04Some tracing and comment cleanupsOli Scherer-1/+3
2022-10-17Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwUMatthias Krüger-11/+13
2022-10-10Fix compiler docsGuillaume Gomez-1/+1
2022-10-10Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnrDylan DPC-5/+3
2022-10-08Rollup merge of #102785 - fee1-dead-contrib:rm_autoimpl_defid, r=compiler-errorsMatthias Krüger-8/+8
2022-10-07Remove tuple candidate, nothing special about itMichael Goulet-5/+3
2022-10-07Remove `DefId` from some `SelectionCandidate` variantsDeadbeef-8/+8
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-5/+5
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-2/+2
2022-09-30Auto merge of #102304 - lcnr:coherence-cleanup, r=compiler-errorsbors-33/+0