about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-11-26Revert "Do not need to account for overflow in predicate_can_apply"Michael Goulet-4/+1
2022-11-26Revert "Drive-by: Don't manually call evaluate_obligation_no_overflow"Michael Goulet-2/+3
2022-11-26Pretty-print generators with their `generator_kind`Arpad Borsos-1/+1
2022-11-26Rollup merge of #104786 - WaffleLapkin:amp-mut-help, r=compiler-errorsGuillaume Gomez-2/+2
2022-11-25Remove SelectionContext::infcx() in favor of field accessMichael Goulet-92/+75
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-237/+206
2022-11-25Auto merge of #104902 - matthiaskrgr:rollup-oo27a4u, r=matthiaskrgrbors-232/+190
2022-11-25Rollup merge of #104835 - spastorino:use-partially_normalize_associated_types...Matthias Krüger-28/+25
2022-11-25Rollup merge of #104716 - lcnr:selection-candidate, r=jackh726Matthias Krüger-204/+165
2022-11-25Auto merge of #104846 - spastorino:santa-clauses-make-goals-early-christmas-ð...bors-99/+118
2022-11-25move 2 candidates into builtin candidatelcnr-204/+165
2022-11-25Rollup merge of #104841 - compiler-errors:fishy-bound-var, r=jackh726Matthias Krüger-24/+25
2022-11-25only emit "enable gce" error if it would fix compile errorBoxy-8/+17
2022-11-25Make `expand_abstract_consts` infallibleBoxy-30/+19
2022-11-25add FIXME'sBoxy-0/+7
2022-11-25dont skip const evalautable of non unevaluatedsBoxy-6/+1
2022-11-25add FIXME for things that I couldn't find ways to triggerBoxy-3/+5
2022-11-25fmtBoxy-1/+1
2022-11-25also handle it in evaluateBoxy-24/+51
2022-11-25handle assoc consts in fulfill `ConstEquate`Boxy-23/+27
2022-11-25fmtBoxy-16/+18
2022-11-25handle nested obligations in `satisfied_from_param_env`Boxy-37/+47
2022-11-25Add expand_abstract_constkadmin-74/+53
2022-11-25Add empty ConstKind::Abstractkadmin-196/+141
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-69/+97
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-9/+4
2022-11-25get rid of to_poly_trait_predicateOli Scherer-21/+17
2022-11-24Remove comment, simplify since we asserted fn ptr Self type has no bound varsMichael Goulet-10/+1
2022-11-24Also check that fn pointer candidates don't have escaping bound varsMichael Goulet-1/+4
2022-11-24Assert that we don't capture escaping bound vars in Fn trait selectionMichael Goulet-13/+20
2022-11-24Rollup merge of #104822 - spastorino:selctx-new-instead-of-with_query_mode, r...Matthias Krüger-8/+3
2022-11-24Rollup merge of #104820 - spastorino:remove-normalize_projection_type, r=jack...Matthias Krüger-60/+13
2022-11-24Use infcx.partially_normalize_associated_types_inSantiago Pastorino-28/+25
2022-11-24Auto merge of #104321 - Swatinem:async-gen, r=oli-obkbors-54/+156
2022-11-24with_query_mode -> newSantiago Pastorino-8/+3
2022-11-24Remove normalize_projection_typeSantiago Pastorino-60/+13
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-54/+156
2022-11-24Rollup merge of #104742 - WaffleLapkin:forbidden-SUPER-deref, r=compiler-errorsMatthias Krüger-12/+0
2022-11-24Rollup merge of #104594 - compiler-errors:dyn-star-rcvr, r=eholk,estebankMatthias Krüger-7/+6
2022-11-24Auto merge of #104610 - ouz-a:revert-overflow, r=compiler-errorsbors-16/+0
2022-11-24Disable dyn* upcastingMichael Goulet-7/+6
2022-11-24Auto merge of #104507 - WaffleLapkin:asderefsyou, r=wesleywiserbors-1/+1
2022-11-23Add `Mutability::{is_mut,is_not}`Maybe Waffle-2/+2
2022-11-23Make `deref_into_dyn_supertrait` lint the impl and not the usageMaybe Waffle-12/+0
2022-11-23Rollup merge of #104509 - spastorino:use-obligation-ctxt, r=lcnrDylan DPC-41/+30
2022-11-23Rollup merge of #104269 - compiler-errors:hang-in-where-clause-sugg, r=lcnrDylan DPC-4/+6
2022-11-23Call fully_solve_obligations instead of repeating codeSantiago Pastorino-6/+11
2022-11-23Use ObligationCtxt intead of dyn TraitEngineSantiago Pastorino-41/+25
2022-11-23Drive-by: Don't manually call evaluate_obligation_no_overflowMichael Goulet-3/+2
2022-11-23Do not need to account for overflow in predicate_can_applyMichael Goulet-1/+4