about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-04-14Merge `WithNumNodes` into DirectedGraphMaybe Waffle-2/+0
2024-04-14Consolidate two copies of ty_kind_suggestionMichael Goulet-63/+2
2024-04-13Auto merge of #122603 - estebank:clone-o-rama, r=lcnrbors-62/+481
2024-04-12review commentsEsteban Küber-8/+36
2024-04-12Better account for more cases involving closuresEsteban Küber-14/+36
2024-04-12Fix rebaseEsteban Küber-2/+2
2024-04-12Rollup merge of #123599 - matthiaskrgr:rm, r=cjgillotMatthias Krüger-1/+1
2024-04-11Rollup merge of #123523 - estebank:issue-123414, r=BoxyUwUMatthias Krüger-35/+54
2024-04-11remove some things that do not need to beMatthias Krüger-1/+1
2024-04-11Mention when the type of the moved value doesn't implement `Clone`Esteban Küber-2/+13
2024-04-11Account for move error in the spread operator on struct literalsEsteban Küber-11/+107
2024-04-11Better account for `FnOnce` in move errorsEsteban Küber-7/+72
2024-04-11Account for assign binops in clone suggestionsEsteban Küber-2/+32
2024-04-11When possible, suggest cloning the result of a call instead of an argumentEsteban Küber-13/+92
2024-04-11Do not recomment cloning explicit `&mut` expressionsEsteban Küber-0/+5
2024-04-11Fix accuracy of `T: Clone` check in suggestionEsteban Küber-0/+1
2024-04-11Remove unnecessary argument from `suggest_cloning`Esteban Küber-21/+9
2024-04-11Silence redundant clone suggestionEsteban Küber-0/+5
2024-04-11More move error suggestions to cloneEsteban Küber-0/+4
2024-04-11Suggest `.clone()` in some move errorsEsteban Küber-0/+10
2024-04-11Account for unops when suggesting cloningEsteban Küber-19/+24
2024-04-11Suggest `.clone()` when moved while borrowedEsteban Küber-17/+56
2024-04-11Account for `.clone()` when suggesting `<T as Clone>::clone`Esteban Küber-2/+33
2024-04-11Slightly more readable NLL/constraint graph dumpsAmanda Stjerna-6/+38
2024-04-11Rollup merge of #123704 - estebank:diag-changes, r=compiler-errorsMatthias Krüger-26/+70
2024-04-11Auto merge of #122213 - estebank:issue-50195, r=oli-obk,estebankbors-4/+153
2024-04-10Handle more cases of "values to suggest" given a typeEsteban Küber-3/+16
2024-04-10Handle more cases of value suggestionsEsteban Küber-18/+51
2024-04-10Use trait solver to answer questions instead of manually writing a trait solverOli Scherer-79/+22
2024-04-09Tweak value suggestions in `borrowck` and `hir_analysis`Esteban Küber-10/+8
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-8/+23
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-8/+5
2024-04-08Eagerly check for accidentally registered region constraints instead of waiti...Oli Scherer-0/+6
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-0/+12
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-04-06Account for trait/impl difference when suggesting changing argument from ref ...Esteban Küber-35/+54
2024-04-05Provide suggestion to dereference closure tail if appropriateEsteban Küber-4/+210
2024-04-03Rollup merge of #123419 - petrochenkov:zeroindex, r=compiler-errorsMatthias Krüger-1/+1
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-1/+1
2024-04-03rename `expose_addr` to `expose_provenance`joboet-2/+2
2024-04-02Rollup merge of #122935 - RalfJung:with-exposed-provenance, r=AmanieuJacob Pratt-2/+2
2024-03-30Stop calling visitors VMichael Goulet-3/+12
2024-03-29Rollup merge of #123188 - klensy:clippy-me2, r=NilstriebMatthias Krüger-16/+15
2024-03-29Auto merge of #123080 - Jules-Bertholet:mut-ref-mut, r=Nadrierilbors-10/+9
2024-03-28and few moreklensy-16/+15
2024-03-28Auto merge of #116891 - aliemjay:opaque-region-infer-rework-2, r=compiler-err...bors-181/+253
2024-03-28simplify check_uniqueAli MJ Al-Nasrawy-70/+25
2024-03-28reject external lifetimes as invalid argumentsAli MJ Al-Nasrawy-4/+10
2024-03-28rework opaque types region inferenceAli MJ Al-Nasrawy-87/+72
2024-03-28convert all named regions in opaque types to nll varsAli MJ Al-Nasrawy-0/+16