about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-06-14Rollup merge of #126320 - oli-obk:pat_ice, r=lcnrMatthias Krüger-5/+5
2024-06-13MIR visitor: constant -> const_operandRalf Jung-4/+4
2024-06-13Replace some `Option<Diag>` with `Result<(), Diag>`Oli Scherer-5/+5
2024-06-12Auto merge of #125069 - amandasystems:scc-refactor, r=nikomatsakisbors-201/+191
2024-06-12Use Variance glob import everywhereMichael Goulet-31/+21
2024-06-12Address code review comments on the commentsAmanda Stjerna-29/+29
2024-06-12Move `RegionTracker` to `region_infer`Amanda Stjerna-95/+93
2024-06-12Resurrect some comments, remove a `pub`Amanda Stjerna-1/+42
2024-06-12Roll back a few `#[instrument]`Amanda Stjerna-15/+12
2024-06-12Formatting, weird because I just did thatAmanda Stjerna-2/+2
2024-06-12Simplify path compression logicAmanda Stjerna-3/+12
2024-06-12Extend SCC construction to enable extra functionalityAmanda Stjerna-212/+157
2024-06-12Rollup merge of #126295 - linyihai:uninitalized-in-match-arm, r=pnkfelixGuillaume Gomez-4/+17
2024-06-12Rollup merge of #126301 - nnethercote:sort-crate-attributes, r=davidtwcoJubilee-1/+3
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-1/+3
2024-06-12No uninitalized report in a pre-returned match armLin Yihai-4/+17
2024-06-11Try not to make obligations in handle_opaque_typeMichael Goulet-8/+1
2024-06-11Rename some thingsMichael Goulet-6/+6
2024-06-11Make ObligationEmittingRelation deal with Goals onlyMichael Goulet-11/+27
2024-06-11Get rid of PredicateObligationsMichael Goulet-2/+2
2024-06-10Make suggestion to change `Fn` to `FnMut` work with methods wellGurinder Singh-44/+69
2024-06-06Uplift TypeRelation and RelateMichael Goulet-11/+11
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-2/+2
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+2
2024-06-05Remove confusing `use_polonius` flag and do less cloningAmanda Stjerna-51/+57
2024-06-04Rollup merge of #125667 - oli-obk:taintify, r=TaKO8KiMichael Goulet-5/+29
2024-06-03Nits and formattingMichael Goulet-3/+3
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-1/+1
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-3/+5
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-2/+2
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-2/+2
2024-06-03Make TraitEngines generic over errorMichael Goulet-1/+2
2024-06-03Auto merge of #125778 - estebank:issue-67100, r=compiler-errorsbors-1/+1
2024-06-01Uplift TypeRelation and RelateMichael Goulet-2/+3
2024-05-31Rollup merge of #125652 - amandasystems:you-dropped-something, r=oli-obkMatthias Krüger-35/+30
2024-05-31Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com...Matthias Krüger-8/+4
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-8/+4
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
2024-05-29Make `body_owned_by` return the body directly.Oli Scherer-19/+15
2024-05-29Stop proving outlives constraints on regions we already reported errors onOli Scherer-5/+29
2024-05-28Move the rest of the logic into `add_extra_drop_facts()`Amanda Stjerna-9/+7
2024-05-28Make drop-use fact collection simpler for `polonius`Amanda Stjerna-41/+34
2024-05-28Fix back-porting drop-livess from Polonius to tracingAmanda Stjerna-5/+9
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-32/+51
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-2/+2
2024-05-21Auto merge of #123812 - compiler-errors:additional-fixes, r=fmeasebors-1/+1
2024-05-21Auto merge of #125284 - compiler-errors:uplift-misc, r=lcnrbors-21/+44
2024-05-20Rename confusing function nameMichael Goulet-1/+1
2024-05-20Uplift RegionVidMichael Goulet-21/+44
2024-05-20Rollup merge of #125173 - scottmcm:never-checked, r=davidtwcoMatthias Krüger-7/+3