rust/tests/ui/specialization at beta - rust - Git

PublicArchive/rust

mirror of https://github.com/rust-lang/rust.git synced 2026-07-15 04:30:32 -04:00

Files

T

History

Adwin White a7bd5e6726 properly relate rigid alias and non-alias

2026-06-25 17:12:11 +08:00

..

…

updating other test error types

2026-06-11 06:31:12 +05:30

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

delete some duplicated tests

2026-03-30 20:39:42 +00:00

Slightly tweak the diagnostic for uncovered type parameters

2026-06-14 11:44:15 +02:00

min_specialization

bless diagnostics change

2026-05-02 21:07:23 +08:00

…

anyid-repro-125197.rs

…

assoc-ty-graph-cycle.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

broken-mir-drop-glue-107228.rs

…

cross-crate-defaults.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

default-associated-type-bound-1.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

default-associated-type-bound-1.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

default-associated-type-bound-2.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

default-associated-type-bound-2.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

default-generic-associated-type-bound.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

default-generic-associated-type-bound.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

default-proj-ty-as-type-of-const-issue-125757.rs

…

default-proj-ty-as-type-of-const-issue-125757.stderr

…

dont-drop-upcast-candidate.rs

…

dont-drop-upcast-candidate.stderr

…

feature-gate-specialization.rs

Emit pre-expansion feature gate warning for item modifier default

2026-04-01 17:01:59 +02:00

feature-gate-specialization.stderr

Emit pre-expansion feature gate warning for item modifier default

2026-04-01 17:01:59 +02:00

issue-33017.rs

…

issue-33017.stderr

…

issue-35376.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-36804.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-38091-2.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-38091-2.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-38091.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-38091.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-39448.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-39448.stderr

Reduce verbosity of cycle errors when possible

2026-06-04 16:10:12 +00:00

issue-39618.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-39618.stderr

Reduce verbosity of cycle errors when possible

2026-06-04 16:10:12 +00:00

issue-40582.rs

…

issue-43037.current.stderr

Slightly tweak the diagnostic for uncovered type parameters

2026-06-14 11:44:15 +02:00

issue-43037.negative.stderr

Slightly tweak the diagnostic for uncovered type parameters

2026-06-14 11:44:15 +02:00

issue-43037.rs

Slightly tweak the diagnostic for uncovered type parameters

2026-06-14 11:44:15 +02:00

issue-44861.rs

…

issue-44861.stderr

On unmet trait bound, mention if trait is unstable

2026-01-13 01:16:58 +00:00

issue-45814.current.stderr

…

issue-45814.negative.stderr

…

issue-45814.rs

…

issue-50452-fail.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-50452-fail.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-50452.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-51892.rs

…

issue-51892.stderr

…

issue-52050.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-52050.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-59435.rs

…

issue-59435.stderr

…

issue-63716-parse-async.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-68830-spurious-diagnostics.rs

…

issue-68830-spurious-diagnostics.stderr

…

issue-70442.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

issue-111232.rs

…

issue-111232.stderr

…

non-defaulted-item-fail.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

non-defaulted-item-fail.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

overlap-due-to-unsatisfied-const-bound.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

overlap-due-to-unsatisfied-const-bound.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

prefer-specializing-impl-over-default.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

README-rpass.md

…

README.md

…

soft-feature-gate-specialization.default.stderr

Update tracking issue number of future-incompatibility lint unstable_syntax_pre_expansion

2026-04-09 01:08:52 +02:00

soft-feature-gate-specialization.min.stderr

Update tracking issue number of future-incompatibility lint unstable_syntax_pre_expansion

2026-04-09 01:08:52 +02:00

soft-feature-gate-specialization.rs

Reword descriptions of soft feature gate tests

2026-04-01 17:01:59 +02:00

source-impl-requires-constraining-predicates-ambig.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

source-impl-requires-constraining-predicates.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-allowed-cross-crate.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-assoc-fns.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-basics.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-cross-crate-no-gate.rs

…

specialization-cross-crate.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-default-items-drop-coherence.current.stderr

…

specialization-default-items-drop-coherence.next.stderr

…

specialization-default-items-drop-coherence.rs

…

specialization-default-methods.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-default-projection.current.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-default-projection.next.stderr

properly relate rigid alias and non-alias

2026-06-25 17:12:11 +08:00

specialization-default-projection.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-default-types.current.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-default-types.next.stderr

properly relate rigid alias and non-alias

2026-06-25 17:12:11 +08:00

specialization-default-types.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-feature-gate-overlap.rs

…

specialization-feature-gate-overlap.stderr

…

specialization-no-default.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-no-default.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-on-projection.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-out-of-order.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-overlap-hygiene.rs

…

specialization-overlap-hygiene.stderr

…

specialization-overlap-negative.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-overlap-negative.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-overlap-projection.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-overlap-projection.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-overlap.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-overlap.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-polarity.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-polarity.stderr

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-projection-alias.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-projection.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-supertraits.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-translate-projections-with-lifetimes.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-translate-projections-with-params.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

specialization-translate-projections.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

trait-specialization-default-methods-55380.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

transmute-specialization.rs

allow incomplete_features in all ui tests

2026-03-24 20:00:26 +00:00

README.md

This directory contains the test for incorrect usage of specialization that should lead to compile failure. Those tests break down into a few categories:

Feature gating
- On use of the default keyword
- On overlapping impls
Overlap checking with specialization enabled
- Basic overlap scenarios
  - Includes purely structural overlap
  - Includes purely trait-based overlap
  - Includes mix
- Overlap with differing polarity
Attempt to specialize without using default
Attempt to change impl polarity in a specialization
Attempt to rely on projection of a default type
- Rely on it externally in both generic and monomorphic contexts
- Rely on it both within an impl and outside it