summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+5
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+2
2024-11-19Pass `flow_inits` by value.Nicholas Nethercote-11/+7
2024-11-19Put `param_env` into `infcx`.Nicholas Nethercote-81/+72
2024-11-19Pass `constraints` to `RegionInferenceContext::new`.Nicholas Nethercote-37/+25
2024-11-19Don't refcount `PlaceholderIndices`.Nicholas Nethercote-5/+3
2024-11-19Inline and remove `TypeVerifier::new`.Nicholas Nethercote-8/+1
2024-11-19Compute `upvars` lazily.Nicholas Nethercote-7/+3
2024-11-19Clean up `UniversalRegions`.Nicholas Nethercote-60/+46
2024-11-19Make `TypeChecker::region_bound_pairs` owned.Nicholas Nethercote-4/+4
2024-11-19Make `TypeChecker::known_type_outlives_obligations` owned.Nicholas Nethercote-9/+7
2024-11-19Don't pass `universal_regions` unnecessarily.Nicholas Nethercote-6/+5
2024-11-18reviewlcnr-1/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-8/+19
2024-11-17Rollup merge of #133130 - dianne:fix-133118, r=compiler-errorsJacob Pratt-16/+10
2024-11-17`suggest_borrow_generic_arg`: instantiate clauses properlydianne-16/+10
2024-11-16Rollup merge of #132134 - nnethercote:rm-ResultsVisitable, r=cjgillotMatthias Krüger-80/+173
2024-11-13Suggest borrowing arguments in generic positions when trait bounds are satisfieddianne-159/+157
2024-11-13Use a common subdiagnostic format for generic borrowsdianne-5/+10
2024-11-13Provide borrow-instead-of-move suggestions for calls of fn-like items from ot...dianne-39/+40
2024-11-09Dont suggest use<APIT>Michael Goulet-26/+45
2024-11-08Get rid of check_opaque_type_well_formedMichael Goulet-89/+1
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-23/+20
2024-11-04Rollup merge of #131153 - VulnBandit:copy_impl_vuln, r=compiler-errorsJubilee-0/+17
2024-11-05Remove `ResultsVisitable`.Nicholas Nethercote-10/+6
2024-11-05Replace `BorrowckResults` with `Borrowck`.Nicholas Nethercote-71/+168
2024-11-04`BorrowckDiags` tweaks.Nicholas Nethercote-13/+5
2024-11-04Simplify `LocalUseMapBuild`.Nicholas Nethercote-48/+14
2024-11-04Merge `BorrowCheckContext` into `TypeChecker`.Nicholas Nethercote-173/+88
2024-11-04Remove unnecessary qualifiers.Nicholas Nethercote-3/+3
2024-11-04Remove unnecessary `continue`.Nicholas Nethercote-2/+1
2024-11-04Remove `ToUniverseInfo` impl for `CanonicalQueryInput<CustomTypeOp>`.Nicholas Nethercote-9/+0
2024-11-04Merge `UniverseInfo` and `UniverseInfoInner`.Nicholas Nethercote-25/+13
2024-11-04Tidy up comments and some formatting.Nicholas Nethercote-78/+92
2024-11-04Move some `use` declarations.Nicholas Nethercote-13/+12
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-22/+19
2024-11-04Remove BorrowKind glob, make names longerMichael Goulet-1/+1
2024-11-04Reduce visibilities.Nicholas Nethercote-21/+23
2024-11-02compiler: Replace rustc_target with _abi in _borrowckJubilee Young-6/+6
2024-10-31Auto merge of #132301 - compiler-errors:adjust, r=lcnrbors-1/+0
2024-10-31Try to point out when edition 2024 lifetime capture rules cause borrowck issuesMichael Goulet-1/+232
2024-10-31Encode cross-crate opaque type originMichael Goulet-1/+1
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-1/+1
2024-10-30Rollup merge of #132338 - nnethercote:rm-Engine, r=nnethercoteMatthias Krüger-15/+16
2024-10-30Remove `Analysis::into_engine`.Nicholas Nethercote-15/+16
2024-10-29TypingMode :thinking:lcnr-8/+10
2024-10-29Remove region from adjustmentsMichael Goulet-1/+0
2024-10-28fix clippy::clone_on_ref_ptr for compilerklensy-6/+6
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