about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
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
2022-05-27Finish bumping stage0Mark Rousskov-1/+0
2022-05-25suggest constraining dyn trait in impl in NLLb-naber-0/+11
2022-05-25make TraitObject visitors publicb-naber-3/+3
2022-05-23Rollup merge of #97292 - compiler-errors:tcxify-rustc, r=davidtwcoDylan DPC-1/+1
2022-05-22Lifetime variance fixes for rustcMichael Goulet-1/+1
2022-05-22Do leak check after function ptr coercionJack Huey-3/+8
2022-05-20Rollup merge of #97109 - TaKO8Ki:fix-misleading-cannot-infer-type-for-type-pa...Matthias Krüger-0/+23
2022-05-20report ambiguous type parameters when their parents are impl or fnTakayuki Maeda-6/+7
2022-05-20update commentslcnr-8/+2
2022-05-17Rollup merge of #97080 - lcnr:relate-sus, r=oli-obkYuki Okushi-16/+1
2022-05-17fix misleading `cannot infer type for type parameter` errorTakayuki Maeda-0/+22
2022-05-17Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebankbors-1/+8
2022-05-16Split some logic from a loop into a separate functionOli Scherer-17/+26
2022-05-16Some tracing cleanupsOli Scherer-1/+1
2022-05-16remove the `RelateResultCompare` traitlcnr-16/+1
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-13/+15
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-7/+7
2022-05-13Add bound_fn_sigJack Huey-4/+4
2022-05-13Add bound_type_ofJack Huey-1/+1
2022-05-11stop suggesting non-existing fully qualified pathsTakayuki Maeda-11/+16
2022-05-10Introduce EarlyBinderJack Huey-12/+14
2022-05-10Remove `clone_code` methodOli Scherer-1/+1
2022-05-10Move an extension trait method onto the type directly and reuse itOli Scherer-1/+8
2022-05-08Auto merge of #96155 - jackh726:param-heuristics-followup, r=estebankbors-3/+4
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-45/+54
2022-05-06Resolve vars in note_type_errJack Huey-3/+4
2022-05-06suggest fully qualified path with appropriate paramsTakayuki Maeda-1/+22
2022-05-04Stabilize `bool::then_some`Josh Triplett-1/+0
2022-05-02fix most compiler/ doctestsElliot Roberts-45/+54
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-6/+4