about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/codegen.rs
AgeCommit message (Expand)AuthorLines
2022-12-08Move codegen_select_candidate to a rustc_traitsMichael Goulet-88/+0
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-1/+1
2022-11-25get rid of to_poly_trait_predicateOli Scherer-2/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-1/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-46/+47
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-09-19Make cycle errors recoverableJoshua Nelson-0/+10
2022-09-09rename `codegen_fulfill_obligation`lcnr-1/+1
2022-09-01tracing::instrument cleanupOli Scherer-2/+0
2022-08-03Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726Matthias Krüger-2/+2
2022-08-02Rollup merge of #99156 - lcnr:omoe-wa, r=wesleywiserMatthias Krüger-2/+0
2022-07-26Use TraitEngine in more places that don't specifically need FulfillmentCtxt::...Michael Goulet-2/+2
2022-07-21move `considering_regions` to the infcxlcnr-1/+3
2022-07-20take opaq typesouz-a-3/+6
2022-07-11cg_fulfill_obligation: expect erased regionslcnr-2/+0
2022-05-11Gracefully fail to resolve associated items instead of `delay_span_bug`.Camille GILLOT-75/+16
2022-03-31Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errorsDylan DPC-2/+2
2022-03-30Spellchecking compiler commentsYuri Astrakhan-2/+2
2022-03-30Don't ICE when opaque types get their hidden type constrained again.Oli Scherer-13/+6
2022-03-28Fail more aggressivelyOli Scherer-4/+5
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-0/+5
2022-03-16rustc_error: make ErrorReported impossible to constructmark-4/+4
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-4/+4
2022-02-18Rollup merge of #93024 - compiler-errors:inline-mir-bad-bounds, r=estebankMatthias Krüger-0/+2
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-5/+0
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-2/+2
2022-02-02Fix some doctests where the main function returns an opaque typeOli Scherer-0/+5
2022-01-31Rollup merge of #90277 - pierwill:fix-70258-inference-terms, r=jackh726Matthias Krüger-3/+5
2022-01-17Fix Inline MIR pass on a function with un-satisfiable boundsMichael Goulet-0/+2
2021-12-15Remove `in_band_lifetimes` from `rustc_trait_selection`Sylvan Bowdler-1/+1
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-1/+2
2021-11-06Improve terminology around "after typeck"pierwill-3/+5
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-02-13Use debug log level for developer oriented logsTomasz Miąsko-1/+1
2020-11-16compiler: fold by valueBastian Kauschke-4/+4
2020-10-23review commentsEsteban Küber-1/+4
2020-10-18Move orphan module-name/mod.rs files into module-name.rs filesest31-0/+129