about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2024-06-17Rollup merge of #126570 - nnethercote:fix-126385, r=lcnrGuillaume Gomez-3/+1
2024-06-17Rollup merge of #126226 - gurry:125325-improve-closure-arg-sugg, r=oli-obkGuillaume Gomez-44/+69
2024-06-17Convert a `span_bug` to a `span_delayed_bug`.Nicholas Nethercote-3/+1
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-2/+2
2024-06-15Rollup merge of #126508 - beepster4096:minor_borrowck_cherrypick, r=compiler-...Guillaume Gomez-4/+4
2024-06-15Rollup merge of #126410 - RalfJung:smir-const-operand, r=oli-obkGuillaume Gomez-4/+4
2024-06-15Rollup merge of #126354 - compiler-errors:variance, r=lcnrMatthias Krüger-31/+21
2024-06-14make uninitialized_error_reported a set of localsbeepster4096-4/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-15/+13
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