about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-0/+1
2024-02-08Auto merge of #120767 - matthiaskrgr:rollup-0k8ib1c, r=matthiaskrgrbors-73/+67
2024-02-08Make `RegionName` `Copy` by (transitively) interning the few string variantsAmanda Stjerna-13/+13
2024-02-08Taint borrowck results without running any borrowck if the MIR body was alrea...Oli Scherer-4/+5
2024-02-07hir: Remove `fn opt_hir_id` and `fn opt_span`Vadim Petrochenkov-72/+65
2024-02-07hir: Make sure all `HirId`s have corresponding HIR `Node`sVadim Petrochenkov-1/+2
2024-02-06Fix incorrect suggestion for uninitialize binding in destructuring patternclubby789-1/+6
2024-02-06Rollup merge of #120513 - compiler-errors:normalize-regions-for-nll, r=lcnrMatthias Krüger-51/+142
2024-02-06A drive-by rewrite of give_region_a_name()Amanda Stjerna-17/+21
2024-02-06More comments, final tweaksMichael Goulet-2/+14
2024-02-06Bless tests, add commentsMichael Goulet-3/+7
2024-02-06Construct body for by-move coroutine closure outputMichael Goulet-0/+1
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-22/+143
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-8/+39
2024-02-06Make async closures directly lower to ClosureKind::CoroutineClosureMichael Goulet-13/+29
2024-02-06Invert diagnostic lints.Nicholas Nethercote-59/+26
2024-02-03Rollup merge of #120592 - trevyn:cleanup-to-string, r=NilstriebMatthias Krüger-2/+2
2024-02-03Rollup merge of #120573 - nnethercote:rm-BorrowckErrors-tainted_by_errors, r=...Matthias Krüger-84/+86
2024-02-02Remove unnecessary `.to_string()`/`.as_str()`strevyn-2/+2
2024-02-02Remove dead args from functionsMichael Goulet-41/+3
2024-02-03Improve a local variable name.Nicholas Nethercote-2/+2
2024-02-02Normalize the whole PolyTypeOutlivesPredicate, more simplificationsMichael Goulet-52/+49
2024-02-02Don't hang when there's an infinite loop of outlives obligationsMichael Goulet-57/+76
2024-02-02Normalize type outlives obligations in NLLMichael Goulet-50/+125
2024-02-02Rename `BorrowckErrors` as `BorrowckDiags`.Nicholas Nethercote-26/+26
2024-02-02Remove `BorrowckErrors::tainted_by_errors`.Nicholas Nethercote-59/+66
2024-02-02Remove `BorrowckErrors::set_tainted_by_errors`.Nicholas Nethercote-5/+0
2024-02-02Rename `buffer_non_error_diag` as `buffer_non_error`.Nicholas Nethercote-5/+5
2024-01-30Auto merge of #119101 - compiler-errors:outlives, r=lcnrbors-9/+28
2024-01-30Rollup merge of #120488 - nnethercote:diag-lifetimes, r=oli-obkGuillaume Gomez-1/+1
2024-01-30Remove the lifetime from `DiagnosticArgValue`.Nicholas Nethercote-1/+1
2024-01-30Apply suggestions from reviewMichael Goulet-10/+28
2024-01-30Normalize caller boundsMichael Goulet-1/+2
2024-01-29Rollup merge of #120390 - matthewjasper:inline-constant-pat-mir, r=davidtwcoDylan DPC-8/+56
2024-01-29Borrow check inline const patternsMatthew Jasper-8/+56
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-6/+8
2024-01-25Remove unused featuresclubby789-3/+0
2024-01-23Auto merge of #116152 - cjgillot:unchunck, r=nnethercotebors-3/+3
2024-01-22Remove uses of HybridBitSet.Camille GILLOT-3/+3
2024-01-23Rename `TyCtxt::emit_spanned_lint` as `TyCtxt::emit_node_span_lint`.Nicholas Nethercote-1/+1
2024-01-20Auto merge of #120003 - Mark-Simulacrum:opt-promoted, r=davidtwcobors-30/+87
2024-01-20Rollup merge of #120155 - compiler-errors:no-erased-when-promoting, r=aliemjayMatthias Krüger-5/+9
2024-01-20Don't use ReErased to detect type test promotion failedMichael Goulet-5/+9
2024-01-19perf: Don't track specific live points for promotedsMark Rousskov-30/+87
2024-01-19Rollup merge of #120126 - sjwang05:issue-102269, r=compiler-errorsMatthias Krüger-7/+90
2024-01-19Suggest .swap() instead of mem::swap() in more casessjwang05-7/+92
2024-01-17Rollup merge of #115291 - cjgillot:dest-prop-save, r=JakobDegenMatthias Krüger-114/+32
2024-01-17Auto merge of #120019 - lcnr:fn-wf, r=BoxyUwUbors-1/+34
2024-01-16Auto merge of #116520 - Enselic:large-copy-into-fn, r=oli-obkbors-12/+18
2024-01-16Rollup merge of #119969 - compiler-errors:simplify-closure-env-ty, r=oli-obkMatthias Krüger-1/+5