about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-12-06normalize before matching on `ConstKind`Boxy-1/+1
2022-12-06typo :(Boxy-1/+1
2022-12-06Rollup merge of #105342 - compiler-errors:note_cause_code-takes-predicate, r=...Matthias Krüger-50/+81
2022-12-06Rollup merge of #105340 - estebank:ice-ice-baby, r=compiler-errorsMatthias Krüger-1/+1
2022-12-06Rollup merge of #105339 - BoxyUwU:wf_ct_kind_expr, r=TaKO8KiMatthias Krüger-20/+57
2022-12-05Avoid ICE by accounting for missing typeEsteban Küber-1/+1
2022-12-06Rollup merge of #105338 - estebank:other-impls, r=compiler-errorsYuki Okushi-2/+10
2022-12-06Rollup merge of #105324 - compiler-errors:gat-where-clause-binding-obl, r=jac...Yuki Okushi-5/+25
2022-12-06Avoid noting cause code (which is usually misc, b/c codegen) for opaque type ...Michael Goulet-49/+80
2022-12-06drive-by: Default param for ToPredicateMichael Goulet-1/+1
2022-12-05support `Expr` in `is_const_evaluatable` and `compute`Boxy-20/+57
2022-12-05Tweak "the following other types implement trait"Esteban Küber-2/+10
2022-12-05Point at GAT where clause when unsatisfiedMichael Goulet-5/+25
2022-12-05Don't call diagnostic_hir_wf_check query if we have infer variablesMichael Goulet-0/+1
2022-12-05Auto merge of #104920 - compiler-errors:avoid-infcx-build, r=jackh726bors-10/+6
2022-12-04Auto merge of #105094 - Swatinem:generator-not-future, r=compiler-errorsbors-1/+5
2022-12-04Avoid InferCtxt::build in report_similar_impl_candidatesMichael Goulet-10/+6
2022-12-03Rollup merge of #104199 - SarthakSingh31:issue-97417-1, r=cjgillotMatthias Krüger-20/+15
2022-12-03Rollup merge of #105181 - bhbs:skip-note, r=estebankYuki Okushi-15/+20
2022-12-03Rollup merge of #104903 - spastorino:consolidate-normalize-in-report_projecti...Yuki Okushi-21/+48
2022-12-03Don't add a note for implementing a trait if its inner type is erroneousbhbs-15/+20
2022-12-02Define values and err as non mutableSantiago Pastorino-7/+7
2022-12-02Use ocx.normalize in report_projection_errorSantiago Pastorino-17/+44
2022-12-01Document normalization methods on AtMichael Goulet-38/+20
2022-11-30Make sure async constructs do not `impl Generator`Arpad Borsos-1/+5
2022-11-30Auto merge of #104905 - compiler-errors:normalization-changes, r=spastorinobors-73/+51
2022-11-29Rollup merge of #105066 - lcnr:mv-candidate_from_obligation, r=compiler-errorsMatthias Krüger-210/+207
2022-11-29move `candidate_from_obligation` out of assemblylcnr-210/+207
2022-11-29Explain why rematch_impl fails to be infallibleMichael Goulet-0/+7
2022-11-29Auto merge of #105012 - WaffleLapkin:into, r=oli-obkbors-4/+2
2022-11-29Rollup merge of #104959 - compiler-errors:revert-104269, r=lcnrMatthias Krüger-6/+4
2022-11-28Simplify checking for `GeneratorKind::Async`Arpad Borsos-12/+3
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