about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-06-15simply the IfEq bound -- we only ever use a regionNiko Matsakis-7/+6
2022-06-15Rollup merge of #98110 - cjgillot:closure-brace, r=Aaron1011Yuki Okushi-6/+8
2022-06-15Rollup merge of #98067 - klensy:compiler-deps2, r=Dylan-DPCYuki Okushi-1/+0
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-3/+25
2022-06-14Rollup merge of #97935 - nnethercote:rename-ConstS-val-as-kind, r=lcnrDylan DPC-20/+20
2022-06-14Auto merge of #98041 - jackh726:remove-regionckmode, r=oli-obkbors-46/+34
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-20/+20
2022-06-13remove currently unused depsklensy-1/+0
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-13/+13
2022-06-13Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey-46/+34
2022-06-12Rollup merge of #98012 - compiler-errors:poly-trait-refs-are-traits, r=cjgillotDylan DPC-1/+3
2022-06-11Make is_suggestable work on all TypeFoldableMichael Goulet-5/+1
2022-06-11Handle empty where-clause betterMichael Goulet-9/+4
2022-06-11ValuePairs::PolyTraitRefs should be called 'trait'Michael Goulet-1/+3
2022-06-12Make `ExprKind::Closure` a struct variant.Camille GILLOT-6/+8
2022-06-11remove an unnecessary format macroTakayuki Maeda-5/+2
2022-06-11Rollup merge of #97967 - BoxyUwU:at_docs_mention_trace, r=compiler-errorsDylan DPC-0/+21
2022-06-11Rollup merge of #97703 - lcnr:post-89862, r=estebankDylan DPC-73/+31
2022-06-10the day that i make a PR without a tidy error..Ellen-7/+7
2022-06-10aEllen-0/+21
2022-06-10use FxHashMap instead of BTreeMaplcnr-4/+3
2022-06-10eagerly check whether we replace any bound varslcnr-24/+15
2022-06-10update higher_ranked_sub docslcnr-27/+35
2022-06-10bound_vars -> infer: don't return lt maplcnr-5/+3
2022-06-10replace bound vars: make caching explicitlcnr-23/+34
2022-06-09rewrite combine doc commentlcnr-23/+23
2022-06-08add test + don't warn on `Res::SelfTy`lcnr-0/+3
2022-06-08lub: don't bail out due to empty binderslcnr-12/+28
2022-06-08need_type_info: don't ICE when detected ty aliaslcnr-6/+15
2022-06-08dedup diagnostics default params handlinglcnr-67/+13
2022-06-08Auto merge of #97447 - nnethercote:improve-folding, r=jackh726bors-26/+16
2022-06-08Folding revamp.Nicholas Nethercote-15/+12
2022-06-08Avoid some unnecessary `return`s.Nicholas Nethercote-10/+3
2022-06-08Use `super_visit_with` in a couple of `visit_binder` methods.Nicholas Nethercote-1/+1
2022-06-07Auto merge of #97081 - oli-obk:outlives_query_fast_path, r=jackh726bors-18/+27
2022-06-07Auto merge of #95565 - jackh726:remove-borrowck-mode, r=nikomatsakisbors-36/+2
2022-06-03Fully stabilize NLLJack Huey-36/+2
2022-06-03Replace `&Vec<_>`s with `&[_]`sMaybe Waffle-1/+1
2022-06-03Auto merge of #89862 - lcnr:path-generics-diagnostics, r=estebankbors-886/+830
2022-06-02Rollup merge of #97023 - cjgillot:uniform-anon, r=estebankDylan DPC-49/+66
2022-06-02`generic_arg_contains_target`: ignore closureslcnr-2/+8
2022-06-02eagerly fetch the typeck_resultslcnr-28/+52
2022-06-02use verbose suggestionslcnr-2/+2
2022-06-02add new `emit_inference_failure_err`lcnr-23/+807
2022-06-02remove the old `emit_inference_failure_err`lcnr-913/+43
2022-05-30Rollup merge of #97531 - compiler-errors:for-loop-pat-mismatch, r=davidtwcoDylan DPC-1/+8
2022-05-29Note pattern mismatch coming from for-loop desugaringMichael Goulet-1/+8
2022-05-29Auto merge of #97214 - Mark-Simulacrum:stage0-bump, r=pietroalbinibors-1/+0
2022-05-29Handle anonymous lifetimes properly in diagnostics.Camille GILLOT-31/+31
2022-05-29Make lifetime errors more precise in the presence of `Fresh` lifetimes.Camille GILLOT-26/+43