summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2022-07-09Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+5
2022-06-23Rollup merge of #98365 - jyn514:improve-obligation-errors-review-comments, r=...Michael Goulet-22/+4
2022-06-23Rollup merge of #98259 - jyn514:improve-obligation-errors, r=estebankMichael Goulet-12/+93
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-0/+11
2022-06-21Address review comments from #98259Joshua Nelson-22/+4
2022-06-21Rollup merge of #97805 - coolreader18:trace-suggestions, r=oli-obkYuki Okushi-58/+36
2022-06-20Auto merge of #97674 - nnethercote:oblig-forest-tweaks, r=nikomatsakisbors-60/+38
2022-06-19Greatly improve error reporting for futures and generators in `note_obligatio...Joshua Nelson-12/+93
2022-06-19Rollup merge of #98136 - fee1-dead-contrib:rename_impl_constness, r=oli-obkDylan DPC-3/+2
2022-06-15Rename `impl_constness` to `constness`Deadbeef-3/+2
2022-06-15Rollup merge of #98110 - cjgillot:closure-brace, r=Aaron1011Yuki Okushi-9/+9
2022-06-14rebaseb-naber-6/+2
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-34/+55
2022-06-14Rollup merge of #97935 - nnethercote:rename-ConstS-val-as-kind, r=lcnrDylan DPC-25/+25
2022-06-14Auto merge of #98041 - jackh726:remove-regionckmode, r=oli-obkbors-8/+4
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-25/+25
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-23/+18
2022-06-13Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey-8/+4
2022-06-11Address commentsMichael Goulet-48/+95
2022-06-11Properly replace `impl Trait` in fn args, turn {integer} to i32Michael Goulet-12/+27
2022-06-11Make is_suggestable work on all TypeFoldableMichael Goulet-22/+18
2022-06-11Handle empty where-clause betterMichael Goulet-5/+6
2022-06-12Make `ExprKind::Closure` a struct variant.Camille GILLOT-9/+9
2022-06-10bound_vars -> infer: don't return lt maplcnr-11/+8
2022-06-08Auto merge of #97860 - Dylan-DPC:rollup-t3vxos8, r=Dylan-DPCbors-6/+8
2022-06-08Rollup merge of #97595 - ouz-a:issue-97381, r=compiler-errorsDylan DPC-6/+8
2022-06-08Auto merge of #97447 - nnethercote:improve-folding, r=jackh726bors-23/+19
2022-06-08Folding revamp.Nicholas Nethercote-19/+18
2022-06-08Rename `TypeVisitor::visit_unevaluated_const`.Nicholas Nethercote-4/+1
2022-06-07Auto merge of #97081 - oli-obk:outlives_query_fast_path, r=jackh726bors-3/+10
2022-06-06Add proper tracing spans to rustc_trait_selection::traits::error_reportingNoa-58/+36
2022-06-06Rollup merge of #97721 - compiler-errors:issue-97704, r=jackh726Matthias Krüger-30/+18
2022-06-05Do suggest_await_before_try with infer in self, clean up bindersMichael Goulet-30/+18
2022-06-06Split `process_obligation` in two.Nicholas Nethercote-41/+30
2022-06-06Handle stalling within `ObligationForest`.Nicholas Nethercote-19/+8
2022-06-05get_vtable returns opt instd of unwrppingouz-a-6/+8
2022-06-05Auto merge of #97697 - WaffleLapkin:no_ref_vec, r=WaffleLapkinbors-5/+7
2022-06-03Tighten spans for bad fields in Copy structMichael Goulet-2/+2
2022-06-03Replace `&Vec<_>`s with `&[_]`sMaybe Waffle-5/+7
2022-06-02fix wrong suggestion for adding where clausesTakayuki Maeda-2/+16
2022-06-01Rollup merge of #97616 - TaKO8Ki:remove-unnecessary-option, r=Dylan-DPCYuki Okushi-3/+10
2022-06-01remove an unnecessary `Option`Takayuki Maeda-3/+10
2022-05-31Fix comment in poly_project_and_unify_typeMichael Goulet-14/+14
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-7/+5
2022-05-28Initial fixes on top of type interner commitMichael Goulet-4/+4
2022-05-27Auto merge of #96046 - oli-obk:const_typeck, r=cjgillotbors-0/+1
2022-05-25Rollup merge of #97351 - b-naber:adt-const-params-structural-match-violation,...Dylan DPC-10/+24
2022-05-25Auto merge of #97388 - Dylan-DPC:rollup-tfuc4tf, r=Dylan-DPCbors-9/+7
2022-05-25Rollup merge of #96913 - Urgau:rfc3239-part2, r=petrochenkovDylan DPC-9/+7
2022-05-25Auto merge of #97345 - lcnr:fast_reject, r=nnethercotebors-66/+31