about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2024-10-24Rollup merge of #131756 - compiler-errors:deeply-normalize-type-err, r=lcnrStuart Cook-6/+7
2024-10-24Plumb through param_env to note_type_errMichael Goulet-6/+7
2024-10-23fix some manual_mapMatthias Krüger-7/+3
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-21Auto merge of #130950 - compiler-errors:yeet-eval, r=BoxyUwUbors-4/+3
2024-10-19Rollup merge of #127675 - chenyukang:yukang-fix-127562-addr, r=petrochenkovMatthias Krüger-12/+21
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-4/+3
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-15/+14
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-3/+2
2024-10-17remove type_op constructorslcnr-5/+5
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-1/+1
2024-10-16Auto merge of #131481 - nnethercote:rm-GenKillSet, r=cjgillotbors-39/+25
2024-10-16Auto merge of #131422 - GnomedDev:smallvec-predicate-obligations, r=compiler-...bors-2/+2
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-3/+3
2024-10-14Add defaults for `Analysis::apply_{call_return_effect,terminator_effect}`.Nicholas Nethercote-11/+1
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-16/+14
2024-10-14Remove `GenKillAnalysis`.Nicholas Nethercote-12/+6
2024-10-14Minimize use of `GenKill`.Nicholas Nethercote-2/+6
2024-10-14Tweak `GenKillAnalysis` method arguments.Nicholas Nethercote-2/+2
2024-10-12Rollup merge of #131626 - matthiaskrgr:dont_string, r=lqdTrevor Gross-1/+1
2024-10-12remove a couple of redundant String to String conversionMatthias Krüger-1/+1
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-2/+2
2024-10-12yeet some clonesMatthias Krüger-1/+1
2024-10-10Auto merge of #131444 - onur-ozkan:hotfix-ci, r=Kobzolbors-1/+1
2024-10-10Make super combine into fnsMichael Goulet-4/+4
2024-10-10Uplift super_combineMichael Goulet-0/+1
2024-10-10update `rustc_borrowck::places_conflict` doc-commentonur-ozkan-1/+1
2024-10-07Rollup merge of #131225 - nnethercote:rustc_borrowck-mm, r=lqdJubilee-70/+58
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-0/+2
2024-10-05Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errorsbors-10/+4
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-10/+4
2024-10-04Rollup merge of #131264 - compiler-errors:fix-pub-crate, r=jieyouxuJubilee-2/+2
2024-10-04Rollup merge of #130518 - scottmcm:stabilize-controlflow-extra, r=dtolnayJubilee-1/+0
2024-10-04Fix some pub(crate) that were undetected bc of instrumentMichael Goulet-2/+2
2024-10-04Remove unnecessary lifetime in `ConditionVisitor`.Nicholas Nethercote-10/+10
2024-10-04Avoid `&Rc<T>` arguments.Nicholas Nethercote-25/+22
2024-10-04Avoid `Rc` in `BodyWithBorrowckFacts`.Nicholas Nethercote-7/+4
2024-10-04Use `Box` instead of `Rc` for `polonius_output`.Nicholas Nethercote-7/+9
2024-10-04Use `Rc` less in `MirBorrowckCtxt`.Nicholas Nethercote-25/+17
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-1/+1
2024-10-02make `Borrows` dataflow dumps about its loan domainRémy Rakic-11/+1
2024-09-27borrowck: use subtyping instead of equality for ptr-to-ptr castsLukas Markeffsky-1/+1
2024-09-25Stabilize the `map`/`value` methods on `ControlFlow`Scott McMurray-1/+0
2024-09-25Auto merge of #130803 - cuviper:file-buffered, r=joshtriplettbors-2/+3
2024-09-24Dogfood `feature(file_buffered)`Josh Stone-2/+3
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-33/+48
2024-09-24replace "cast" with "coercion" where applicableLukas Markeffsky-13/+20
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-1/+1