bors da19b9d24c Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr ...

Improve bound const handling

A few changes to make const handling more similar to type handling.

r? `@compiler-errors` -errors

2025-08-03 05:26:43 +00:00

..

constraints

Move placeholder handling to a proper preprocessing step

2025-06-03 12:20:15 +02:00

diagnostics

Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr

2025-08-01 04:06:21 +00:00

polonius

Rollup merge of #143477 - folkertdev:use-is-multiple-of, r=joshtriplett

2025-07-06 10:03:23 +02:00

region_infer

Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu

2025-08-02 11:24:24 +02:00

type_check

Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr

2025-08-03 05:26:43 +00:00

borrow_set.rs

rename BitSet to DenseBitSet

2025-01-11 11:34:01 +00:00

borrowck_errors.rs

Use closure parse code

2025-03-06 17:58:32 -03:00

consumers.rs

Expose nested bodies in rustc_borrowck::consumers

2025-07-08 19:09:14 -07:00

dataflow.rs

use MixedBitSet for borrows-in-scope computation

2025-06-13 18:01:32 +00:00

def_use.rs

Visit place in BackwardIncompatibleDropHint statement

2025-04-13 22:01:54 +00:00

handle_placeholders.rs

Use an enum for SCC representatives, plus other code review

2025-06-04 13:26:08 +02:00

lib.rs

Expose nested bodies in rustc_borrowck::consumers

2025-07-08 19:09:14 -07:00

member_constraints.rs

Greatly simplify lifetime captures in edition 2024

2025-02-22 22:24:52 +00:00

nll.rs

Expose nested bodies in rustc_borrowck::consumers

2025-07-08 19:09:14 -07:00

path_utils.rs

remove borrowck duplicate of std::ops::ControlFlow

2025-01-01 12:13:33 +00:00

place_ext.rs

…

places_conflict.rs

Implement MIR, CTFE, and codegen for unsafe binders

2025-01-31 17:19:53 +00:00

prefixes.rs

Implement MIR, CTFE, and codegen for unsafe binders

2025-01-31 17:19:53 +00:00

renumber.rs

Squash fold into ty

2025-03-15 06:34:36 +00:00

root_cx.rs

Expose nested bodies in rustc_borrowck::consumers

2025-07-08 19:09:14 -07:00

session_diagnostics.rs

move check_opaque_type_parameter_valid

2025-04-03 11:13:10 +02:00

universal_regions.rs

Make sure to account for the right item universal regions in borrowck

2025-07-30 04:07:19 +00:00

used_muts.rs

…