about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
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
2024-03-28favor placeholders over existentials when choosing SCC representativesAli MJ Al-Nasrawy-12/+20
2024-03-28check RPITs for invalid argsAli MJ Al-Nasrawy-11/+1
2024-03-28ignore error paramsAli MJ Al-Nasrawy-0/+8
2024-03-28except equal parameters from the uniqueness checkAli MJ Al-Nasrawy-1/+97
2024-03-27chore: fix some commentsxiaoxiangxianzi-1/+1
2024-03-27Implement `mut ref`/`mut ref mut`Jules Bertholet-10/+9
2024-03-26Rollup merge of #122589 - wutchzone:121547, r=compiler-errorsMatthias Krüger-3/+13
2024-03-26ignore uncaptured lifetimes when checking opaquesAli MJ Al-Nasrawy-12/+11
2024-03-26fix ICE in check_uniqueAli MJ Al-Nasrawy-2/+11
2024-03-25Rollup merge of #122970 - cuviper:use-chunk_by, r=Mark-SimulacrumMatthias Krüger-6/+5
2024-03-23Rollup merge of #122969 - cuviper:borrowck-rposition, r=matthewjasperJubilee-11/+9
2024-03-23Use `chunk_by` when building `ReverseSccGraph`Josh Stone-6/+5
2024-03-23Simplify an iterator search in borrowck diagJosh Stone-11/+9
2024-03-23Auto merge of #122629 - RalfJung:assert-unsafe-precondition, r=saethlinbors-1/+1
2024-03-23Fix typosDaniel Sedlak-3/+3
2024-03-23Fix diagnostics for async block cloningDaniel Sedlak-0/+10
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-1/+1
2024-03-23Rollup merge of #122780 - GuillaumeGomez:rename-hir-local, r=oli-obkMatthias Krüger-6/+6
2024-03-23rename MIR int2ptr casts to match library nameRalf Jung-2/+2
2024-03-23Auto merge of #119552 - krtab:dead_code_priv_mod_pub_field, r=cjgillot,saethlinbors-2/+0
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-1/+1
2024-03-22Rename `hir::Node::Local` into `hir::Node::LetStmt`Guillaume Gomez-3/+3
2024-03-22Rename `hir::Local` into `hir::LetStmt`Guillaume Gomez-5/+5
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-1/+1
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-12/+9
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-12/+8
2024-03-21Rollup merge of #122733 - oli-obk:error_prop, r=compiler-errorsMatthias Krüger-0/+5