about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-8/+7
2022-11-28Make normalize and normalize_to pub(crate)Michael Goulet-6/+8
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-59/+36
2022-11-28Rename At::normalize to At::query_normalizeMichael Goulet-3/+3
2022-11-28Remove `Const::from_value`Maybe Waffle-3/+1
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-1/+1
2022-11-28Rollup merge of #104907 - compiler-errors:selcx-infcx, r=oli-obkDylan DPC-92/+75
2022-11-28Rollup merge of #104732 - WaffleLapkin:from_def_idn't, r=compiler-errorsDylan DPC-15/+12
2022-11-28Keep track of the start of the argument block of a closureSarthak Singh-20/+15
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-3/+3
2022-11-27Rollup merge of #104931 - Swatinem:async-pretty, r=eholkMatthias Krüger-1/+1
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-3/+3
2022-11-27Use `TyCtxt::is_fn_trait` is a couple more placesMaybe Waffle-2/+1
2022-11-27Add `TyCtxt::is_fn_trait`Maybe Waffle-9/+6
2022-11-27Remove `ty::ClosureKind::from_def_id`Maybe Waffle-6/+7
2022-11-27Rename `fn_trait_kind_from_{from_lang=>def_id}` to better convey meaningMaybe Waffle-5/+5
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