summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
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
2024-01-16borrowck: use implied bounds from impl headerAli MJ Al-Nasrawy-1/+24
2024-01-16borrowck: wf-check fn item argsAli MJ Al-Nasrawy-0/+10
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-12/+18
2024-01-15Rollup merge of #119971 - compiler-errors:zip-eq, r=nnethercoteMatthias Krüger-3/+10
2024-01-15Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnrMatthias Krüger-2/+2
2024-01-14Use zip_eq to enforce that things being zipped have equal sizesMichael Goulet-3/+10
2024-01-14Simplify closure_env_ty and closure_env_paramMichael Goulet-1/+5
2024-01-13Make InferCtxtExt::could_impl_trait less messed upMichael Goulet-13/+18
2024-01-12Remove redundant Code from FulfillmentErrorCode variantsMichael Goulet-2/+2
2024-01-11Stop using `DiagnosticBuilder::buffer` in `BorrowckErrors`.Nicholas Nethercote-9/+10
2024-01-11Rollup merge of #118915 - compiler-errors:alias-nits, r=lcnrMatthias Krüger-2/+2
2024-01-10Simplify some redundant namesMichael Goulet-2/+2
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-19/+19
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-2/+2
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-27/+46
2024-01-08Use chaining in `DiagnosticBuilder` construction.Nicholas Nethercote-67/+49
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-2/+2
2024-01-07Move PointIndex to mir_dataflow.Camille GILLOT-114/+32
2024-01-05Rollup merge of #119563 - compiler-errors:coroutine-resume, r=oli-obkMatthias Krüger-26/+46
2024-01-05Remove `hir::Guard`Matthew Jasper-1/+1