summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
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-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
2024-05-19fix suggestion in E0373 for !Unpin coroutinesJoshua Wong-0/+4
2024-05-19Rollup merge of #124948 - blyxyas:remove-repeated-words, r=compiler-errorsMatthias Krüger-1/+1
2024-05-18Auto merge of #125077 - spastorino:add-new-fnsafety-enum2, r=jackh726bors-4/+4
2024-05-18Fix typos (taking into account review comments)blyxyas-1/+1
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-7/+3
2024-05-17Rename Unsafe to SafetySantiago Pastorino-4/+4
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-3/+3
2024-05-16Make P parameter explicitMichael Goulet-3/+6
2024-05-16Rename ToPredicate for UpcastMichael Goulet-10/+10
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+2
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-4/+1
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-12/+25
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-12/+25
2024-05-10Auto merge of #124952 - compiler-errors:no-error, r=lcnrbors-4/+4
2024-05-10Name tweaksMichael Goulet-1/+4
2024-05-10More rename falloutMichael Goulet-1/+1
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-5/+2
2024-05-10rename some variants in FulfillmentErrorCodeMichael Goulet-2/+2
2024-05-10Rollup merge of #124957 - compiler-errors:builtin-deref, r=michaelwoeristerMatthias Krüger-5/+4
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-17/+4
2024-05-10Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnrMatthias Krüger-14/+3
2024-05-10Rollup merge of #124918 - nnethercote:FIXME-lcnr, r=lcnrMatthias Krüger-3/+1