about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
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
2024-05-10Auto merge of #124953 - compiler-errors:own-params, r=lcnrbors-26/+29
2024-05-09Make builtin_deref just return a TyMichael Goulet-5/+4
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-26/+29
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-14/+3
2024-05-09Suggest borrowing on fn argument that is `impl AsRef`Esteban Küber-19/+70
2024-05-09Rollup merge of #124924 - goofylfg:master, r=est31Matthias Krüger-2/+2
2024-05-09Rollup merge of #124893 - xldenis:public-region-apis, r=lcnrMatthias Krüger-5/+14
2024-05-09chore: remove repetitive wordsgoofylfg-2/+2
2024-05-09Correct a comment.Nicholas Nethercote-3/+1
2024-05-09Auto merge of #124831 - nnethercote:rustc_data_structures-cleanups, r=michael...bors-10/+32
2024-05-09Remove `vec_linked_list`.Nicholas Nethercote-10/+32
2024-05-08Make a minimal amount of region APIs publicXavier Denis-5/+14
2024-05-06borrowck: more eagerly prepopulate opaqueslcnr-70/+29
2024-05-06BorrowckInferCtxt: infcx by valuelcnr-40/+31