about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2025-03-22Auto merge of #138719 - lcnr:concrete_opaque_types-closures, r=oli-obkbors-42/+87
2025-03-19merge opaque types of nested bodieslcnr-42/+87
2025-03-19Use `Option<Ident>` for lowered param names.Nicholas Nethercote-7/+7
2025-03-17Rollup merge of #138384 - nnethercote:hir-ItemKind-idents, r=fmeaseMatthias Krüger-3/+5
2025-03-18Move `hir::Item::ident` into `hir::ItemKind`.Nicholas Nethercote-3/+5
2025-03-17Auto merge of #138595 - jhpratt:rollup-09pvfzu, r=jhprattbors-10/+6
2025-03-17Flatten and simplify some control flowYotam Ofek-10/+6
2025-03-17Use `strip_{prefix|suffix}` instead of `{starts|ends}_with`+indexingYotam Ofek-2/+2
2025-03-15Auto merge of #138532 - matthiaskrgr:rollup-mgcynqu, r=matthiaskrgrbors-0/+30
2025-03-15Fold visit into tyMichael Goulet-7/+4
2025-03-15Squash fold into tyMichael Goulet-20/+12
2025-03-14Check type of const param correctly in MIR typeckMichael Goulet-0/+30
2025-03-13Dedup `&mut *` reborrow suggestion in loopsLieselotte-13/+0
2025-03-13Auto merge of #138416 - Manishearth:rollup-fejor9p, r=Manishearthbors-804/+695
2025-03-12Auto merge of #138414 - matthiaskrgr:rollup-9ablqdb, r=matthiaskrgrbors-1/+0
2025-03-12Rollup merge of #138357 - lcnr:goodbye-TypeVerifier-rarw, r=compiler-errorsManish Goregaokar-798/+689
2025-03-12Rollup merge of #138331 - nnethercote:use-RUSTC_LINT_FLAGS-more, r=onur-ozkan...Manish Goregaokar-1/+0
2025-03-12Rollup merge of #137504 - nnethercote:remove-Map-4, r=ZalatharManish Goregaokar-6/+6
2025-03-12Rollup merge of #138331 - nnethercote:use-RUSTC_LINT_FLAGS-more, r=onur-ozkan...Matthias Krüger-1/+0
2025-03-12Auto merge of #138083 - nnethercote:rm-NtItem-NtStmt, r=petrochenkovbors-0/+1
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-6/+6
2025-03-11Auto merge of #138366 - matthiaskrgr:rollup-cn16m7q, r=matthiaskrgrbors-173/+153
2025-03-11Auto merge of #128440 - oli-obk:defines, r=lcnrbors-0/+1
2025-03-11merge `TypeChecker` and `TypeVerifier`lcnr-378/+305
2025-03-11unify `last_span` computationlcnr-9/+7
2025-03-11change `TypeChecker` to a MIR visitorlcnr-428/+394
2025-03-11let the bodies hit the floorlcnr-173/+153
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-0/+1
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-11Auto merge of #138302 - matthiaskrgr:rollup-an2up80, r=matthiaskrgrbors-1/+1
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-10Rollup merge of #138270 - StevenMia:master, r=compiler-errorsMatthias Krüger-1/+1
2025-03-09Auto merge of #137655 - nnethercote:split-edges-iterator, r=nnethercotebors-93/+132
2025-03-09chore: Fix some commentsStevenMia-1/+1
2025-03-09Rollup merge of #138084 - nnethercote:workspace-lints, r=jieyouxuMatthias Krüger-1/+0
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-07Rollup merge of #134797 - spastorino:ergonomic-ref-counting-1, r=nikomatsakisMatthias Krüger-8/+15
2025-03-07Increase recursion_limit in numerous crates.Nicholas Nethercote-0/+1
2025-03-07Auto merge of #138127 - compiler-errors:rollup-kcarqrz, r=compiler-errorsbors-16/+27
2025-03-06Fail gracefully if mutating on a use closure and the closure it not declared mutSantiago Pastorino-1/+1
2025-03-06Allow to mutate use capturesSantiago Pastorino-7/+13
2025-03-06Use closure parse codeSantiago Pastorino-0/+1
2025-03-06fix typolcnr-1/+1
2025-03-06`TypeVerifier` do not walk into required constslcnr-12/+23
2025-03-06`apply_closure_requirement` use `LocalDefId`lcnr-4/+4
2025-03-01Check dyn flavor before registering upcast goal on wide pointer cast in MIR t...Michael Goulet-2/+2
2025-02-28Use mk_ty_from_kind a bit less, clean up lifetime handling in borrowckMichael Goulet-31/+13
2025-02-28Optimize `Trace`.Nicholas Nethercote-36/+51
2025-02-28Split the `Edges` iterator.Nicholas Nethercote-61/+85
2025-02-28Adjust `ConstraintGraphDirection` methods.Nicholas Nethercote-12/+12