about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-06-30Make `evaluate_obligation` not succeed unconditionally if it registered new h...Oli Scherer-0/+5
2022-06-29Rollup merge of #98668 - TaKO8Ki:avoid-many-&str-to-string-conversions, r=Dyl...Matthias Krüger-2/+1
2022-06-29Rollup merge of #98499 - JulianKnodt:erase_lifetime, r=lcnrDylan DPC-1/+2
2022-06-29avoid many `&str` to `String` conversions with `MultiSpan::push_span_label`Takayuki Maeda-2/+1
2022-06-29Auto merge of #98656 - Dylan-DPC:rollup-hhytn0c, r=Dylan-DPCbors-9/+9
2022-06-29Erase regions in new abstract constskadmin-1/+2
2022-06-29Auto merge of #98542 - jackh726:coinductive-wf, r=oli-obkbors-15/+100
2022-06-29Avoid constructing an unnecessary `InferCtxt`.Nicholas Nethercote-4/+1
2022-06-29Change `Search::infcx` to `tcx`.Nicholas Nethercote-14/+10
2022-06-28Note concrete type being coerced into objectMichael Goulet-2/+3
2022-06-28Fix trait object reborrow suggestionMichael Goulet-8/+7
2022-06-28Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obkDylan DPC-17/+4
2022-06-28Take into account trait predicate coinductivenessJack Huey-6/+36
2022-06-28Make empty bounds lower to WellFormed and make WellFormed coinductiveJack Huey-15/+70
2022-06-27Rollup merge of #98576 - lcnr:region-stuff-cool-beans, r=jackh726Matthias Krüger-6/+2
2022-06-27Rollup merge of #98506 - compiler-errors:object-safety-suggestions, r=oli-obkMatthias Krüger-33/+45
2022-06-27outside of borrowck, do not provide an implicit_region_boundlcnr-6/+2
2022-06-27Remove a back-compat hack on lazy TAITYuki Okushi-17/+4
2022-06-27Auto merge of #98221 - cjgillot:single-coh, r=lcnrbors-1/+1
2022-06-25Fix span issues in object safety suggestionsMichael Goulet-33/+45
2022-06-25Rollup merge of #98311 - eggyal:reverse-folder-hierarchy, r=jackh726Matthias Krüger-4/+2
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-22Perform coherence checking per impl.Camille GILLOT-1/+1
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-21Reverse folder hierarchyAlan Egerton-4/+2
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-20Fix minor documentation typoPeter Hebden-1/+1
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-27/+27
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-27/+27
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-24/+20