bors b765963267 Auto merge of #150843 - fmease:dyn-ace, r=BoxyUwU ...

mGCA: Make trait object types with type-level associated consts dyn compatible

Under feature `min_generic_const_args` (mGCA) (rust-lang/rust#132980), render traits with non-parametrized type-level associated constants (i.e., `#[type_const]` ones) dyn compatible but force the user to specify all type-level associated consts in the trait object type via bindings (either directly, via supertrait bounds and/or behind trait aliases) just like associated types, their sibling.

Fixes rust-lang/rust#130300 (feature request).
Fixes rust-lang/rust#136063 (bug).
Fixes rust-lang/rust#137260 (bug).
Fixes rust-lang/rust#137514 (bug).

While I'm accounting for most illegal `Self` references via const projections & params, I'm intentionally ignoring RUST-123140 (and duplicates) in this PR which is to be tackled some other time.

Additional context: Crate `rustc-demangle` had to be updated to fix v0 demangling. I've patched it in PR https://github.com/rust-lang/rustc-demangle/pull/87 which was was released in version 0.1.27 via PR https://github.com/rust-lang/rustc-demangle/pull/88.

2026-01-22 01:56:41 +00:00

..

auxiliary

Remove the omit_gdb_pretty_printer_section attribute

2025-08-01 20:04:59 +00:00

opt

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

associated-const-bindings.rs

Support debuginfo for assoc const bindings

2026-01-21 18:52:08 +01:00

associated-types.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

basic-stepping.rs

tests/debuginfo/basic-stepping.rs: Add revisions default-mir-passes, no-SingleUseConsts-mir-pass

2026-01-05 08:08:52 +01:00

basic-types-globals-metadata.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

basic-types-globals.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

basic-types-metadata.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

basic-types-mut-globals.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

basic-types.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

borrowed-basic.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

borrowed-c-style-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

borrowed-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

borrowed-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

borrowed-tuple.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

borrowed-unique-basic.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

box.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

boxed-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

by-value-non-immediate-argument.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

by-value-self-argument-in-trait-impl.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

c-style-enum-in-composite.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

c-style-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

captured-fields-1.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

captured-fields-2.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

closure-in-generic-function.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

closures.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-external-attr.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-external-flag-overriden-by-attr.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-external-flag.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-in-non-collapse-macro.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-no-attr.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-static-external.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-static.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-with-attr-flag.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-with-attr.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

collapse-debuginfo-with-yes-flag.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

constant-debug-locs.rs

Remove the omit_gdb_pretty_printer_section attribute

2025-08-01 20:04:59 +00:00

constant-in-match-pattern.rs

Remove the omit_gdb_pretty_printer_section attribute

2025-08-01 20:04:59 +00:00

constant-ordering-prologue.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

coroutine-closure.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

coroutine-locals.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

coroutine-objects.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

cross-crate-spans.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

cross-crate-type-uniquing.rs

Ignore failing debuginfo tests with gcc backend

2025-10-13 15:20:49 +02:00

destructured-fn-argument.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

destructured-for-loop-variable.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

destructured-local.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

drop-locations.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

dummy_span.rs

Run dummy_span.rs test with SimplifyComparisonIntegral

2026-01-14 18:57:17 +08:00

duration-type.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

embedded-visualizer-point.natvis

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

embedded-visualizer-point.py

Reformat Python code with ruff

2024-12-04 23:03:44 +01:00

embedded-visualizer.natvis

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

embedded-visualizer.py

Reformat Python code with ruff

2024-12-04 23:03:44 +01:00

embedded-visualizer.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

empty-string.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

enum-thinlto.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

evec-in-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

extern-c-fn.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

f16-natvis.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

fixed-sized-array.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

fn_ptr.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

function-arg-initialization.rs

tests/debuginfo/function-arg-initialization.rs: Stop disabling SingleUseConsts MIR pass

2025-12-20 20:35:30 +01:00

function-arguments.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

function-call.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

function-names.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

function-prologue-stepping-regular.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

gdb-char.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

gdb-pretty-struct-and-enums.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-enum-with-different-disr-sizes.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-function.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-functions-nested.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-method-on-generic-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-static-method-on-struct-and-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-struct-style-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

generic-tuple-style-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

include_string.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

issue-7712.rs

Delete min-lldb-version: 310

2024-08-18 16:58:26 -04:00

issue-12886.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

issue-13213.rs

Delete min-lldb-version: 310

2024-08-18 16:58:26 -04:00

issue-14411.rs

Delete min-lldb-version: 310

2024-08-18 16:58:26 -04:00

issue-22656.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

issue-57822.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-for-loop.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-if-let.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-if.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-match.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-parameterless-closure.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-stack-closure.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-unconditional-loop.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-unique-closure.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-in-while.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scope-with-macro.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

lexical-scopes-in-block-expression.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

limited-debuginfo.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

macro-stepping.inc

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

macro-stepping.rs

tests/debuginfo/macro-stepping.rs: Add revisions default-mir-passes, no-SingleUseConsts-mir-pass

2025-12-23 15:33:56 +01:00

marker-types.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

method-on-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

method-on-generic-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

method-on-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

method-on-trait.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

method-on-tuple-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

msvc-pretty-enums.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

msvc-scalarpair-params.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

multi-byte-chars.rs

Delete min-lldb-version: 310

2024-08-18 16:58:26 -04:00

multi-cgu.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

multiline-calls.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

multiple-functions-equal-var-names.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

multiple-functions.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

mutable-locs.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

mutex.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

name-shadowing-and-scope-nesting.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

no_mangle-info.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

numeric-types.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

option-like-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

packed-struct-with-destructor.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

packed-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

path.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

pretty-huge-vec.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

pretty-slices.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

pretty-std-collections-hash.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

pretty-std-collections.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

pretty-std.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

pretty-uninitialized-vec.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

range-types.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

rc_arc.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

recursive-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

recursive-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

recursive-type-with-gat.rs

tests: {Meta,Pointee}Sized in non-minicore tests

2025-06-16 23:04:33 +00:00

reference-debuginfo.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

regression-bad-location-list-67992.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

result-types.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

rwlock-read.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

rwlock-write.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

self-in-default-method.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

self-in-generic-default-method.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

shadowed-argument.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

shadowed-variable.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

should-fail.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

simd.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

simple-lexical-scope.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

simple-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

simple-tuple.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

skip_second_statement_collapse.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

skip_second_statement.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

static-method-on-struct-and-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

step-into-match.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

strings-and-strs.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

struct-in-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

struct-in-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

struct-namespace.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

struct-style-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

struct-with-destructor.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

text-to-include-1.txt

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

text-to-include-2.txt

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

text-to-include-3.txt

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

thread-names.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

thread.rs

update type names in debuginfo tests

2025-11-29 15:59:11 +01:00

trait-pointers.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

tuple-in-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

tuple-in-tuple.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

tuple-struct.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

tuple-style-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

type-names.cdb.js

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

type-names.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

union-smoke.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

unique-enum.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

unit-type.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

unreachable-locals.rs

Remove the omit_gdb_pretty_printer_section attribute

2025-08-01 20:04:59 +00:00

unsized.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

var-captured-in-nested-closure.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

var-captured-in-sendable-closure.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

var-captured-in-stack-closure.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

vec-slices.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

vec.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00

zst-interferes-with-prologue.rs

compiletest: Use //@ prefixes also for debuginfo test directives

2025-11-25 06:13:45 +01:00