about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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-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
2022-06-08Folding revamp.Nicholas Nethercote-20/+19
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-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-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-29Auto merge of #97214 - Mark-Simulacrum:stage0-bump, r=pietroalbinibors-1/+0
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-27Finish bumping stage0Mark Rousskov-1/+0
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
2022-05-25move fast reject test out of `SelectionContext::match_impl`.lcnr-11/+12
2022-05-25add a deep fast_reject routinelcnr-55/+19
2022-05-25Rollup merge of #97105 - JulianKnodt:const_dep_gen_const_expr, r=lcnrDylan DPC-134/+133
2022-05-24trait selection errors should poison the typeck results, too, so that const e...Oli Scherer-0/+1
2022-05-24Clean up condition evaluation systemLoïc BRANSTETT-9/+7
2022-05-24give correct error message on structural match violationb-naber-10/+24
2022-05-24Coalesce brancheskadmin-137/+133
2022-05-22Lifetime variance fixes for rustcMichael Goulet-2/+2
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-7/+6
2022-05-19Auto merge of #97024 - lcnr:simplify_type-sus, r=<try>bors-14/+8
2022-05-18fix `simplify_type`lcnr-14/+8
2022-05-18Rollup merge of #97123 - ricked-twice:issue-96223-clean-fix, r=jackh726Dylan DPC-128/+130
2022-05-18Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errorsDylan DPC-22/+35
2022-05-17Taking review into accountricked-twice-20/+16