rust/tests/ui/specialization at d6924441cd2b49678fcaf7cdee4e4a0263b7bdbf - rust

mirror of https://github.com/rust-lang/rust.git synced 2026-05-05 03:24:06 +03:00

Files

T

Esteban Küber c3301503b9 Make Default const and add some const Default impls

Full list of `impl const Default` types:

- ()
- bool
- char
- Cell
- std::ascii::Char
- usize
- u8
- u16
- u32
- u64
- u128
- i8
- i16
- i32
- i64
- i128
- f16
- f32
- f64
- f128
- std::marker::PhantomData<T>
- Option<T>
- std::iter::Empty<T>
- std::ptr::Alignment
- &[T]
- &mut [T]
- &str
- &mut str
- String
- Vec<T>

2025-07-07 22:09:37 +00:00

auxiliary

…

coherence

…

ctfe

…

defaultimpl

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

fuzzed

…

min_specialization

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

soundness

…

anyid-repro-125197.rs

…

assoc-ty-graph-cycle.rs

…

assoc-ty-graph-cycle.stderr

…

broken-mir-drop-glue-107228.rs

…

const_trait_impl.rs

Make Default const and add some const Default impls

2025-07-07 22:09:37 +00:00

const_trait_impl.stderr

Make Default const and add some const Default impls

2025-07-07 22:09:37 +00:00

cross-crate-defaults.rs

…

cross-crate-defaults.stderr

…

default-associated-type-bound-1.rs

…

default-associated-type-bound-1.stderr

…

default-associated-type-bound-2.rs

…

default-associated-type-bound-2.stderr

…

default-generic-associated-type-bound.rs

…

default-generic-associated-type-bound.stderr

…

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

…

issue-33017.rs

…

issue-33017.stderr

…

issue-35376.rs

…

issue-35376.stderr

…

issue-36804.rs

…

issue-36804.stderr

…

issue-38091-2.rs

…

issue-38091-2.stderr

…

issue-38091.rs

…

issue-38091.stderr

…

issue-39448.rs

…

issue-39448.stderr

…

issue-39618.rs

…

issue-39618.stderr

…

issue-40582.rs

…

issue-43037.current.stderr

…

issue-43037.negative.stderr

…

issue-43037.rs

…

issue-44861.rs

…

issue-44861.stderr

…

issue-45814.current.stderr

…

issue-45814.negative.stderr

…

issue-45814.rs

…

issue-50452-fail.rs

…

issue-50452-fail.stderr

…

issue-50452.rs

…

issue-50452.stderr

…

issue-51892.rs

…

issue-51892.stderr

Avoid looking at HIR for trait and impl items

2025-06-30 08:45:43 +00:00

issue-52050.rs

…

issue-52050.stderr

…

issue-59435.rs

…

issue-59435.stderr

…

issue-63716-parse-async.rs

Use cfg(false) in UI tests

2025-04-03 21:41:58 +00:00

issue-63716-parse-async.stderr

…

issue-68830-spurious-diagnostics.rs

…

issue-68830-spurious-diagnostics.stderr

…

issue-70442.rs

…

issue-70442.stderr

…

issue-111232.rs

…

issue-111232.stderr

…

non-defaulted-item-fail.rs

…

non-defaulted-item-fail.stderr

…

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

Treat normalizing consts like normalizing types in deeply normalize

2025-06-06 17:13:53 +00:00

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

Treat normalizing consts like normalizing types in deeply normalize

2025-06-06 17:13:53 +00:00

prefer-specializing-impl-over-default.current.stderr

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

prefer-specializing-impl-over-default.next.stderr

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

prefer-specializing-impl-over-default.rs

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

README-rpass.md

…

README.md

…

source-impl-requires-constraining-predicates-ambig.next.stderr

…

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

…

source-impl-requires-constraining-predicates.current.stderr

…

source-impl-requires-constraining-predicates.next.stderr

…

source-impl-requires-constraining-predicates.rs

…

specialization-allowed-cross-crate.rs

…

specialization-allowed-cross-crate.stderr

…

specialization-assoc-fns.rs

…

specialization-assoc-fns.stderr

…

specialization-basics.rs

…

specialization-basics.stderr

…

specialization-cross-crate-no-gate.rs

…

specialization-cross-crate.rs

…

specialization-cross-crate.stderr

…

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

…

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

…

specialization-default-items-drop-coherence.rs

…

specialization-default-methods.rs

…

specialization-default-methods.stderr

…

specialization-default-projection.current.stderr

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

specialization-default-projection.next.stderr

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

specialization-default-projection.rs

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

specialization-default-types.current.stderr

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

specialization-default-types.next.stderr

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

specialization-default-types.rs

handle specialization in the new trait solver

2025-04-25 17:59:33 +00:00

specialization-feature-gate-default.rs

…

specialization-feature-gate-default.stderr

…

specialization-feature-gate-overlap.rs

…

specialization-feature-gate-overlap.stderr

…

specialization-no-default.rs

…

specialization-no-default.stderr

…

specialization-on-projection.rs

…

specialization-on-projection.stderr

…

specialization-out-of-order.rs

…

specialization-out-of-order.stderr

…

specialization-overlap-hygiene.rs

…

specialization-overlap-hygiene.stderr

…

specialization-overlap-negative.rs

…

specialization-overlap-negative.stderr

…

specialization-overlap-projection.rs

…

specialization-overlap-projection.stderr

…

specialization-overlap.rs

…

specialization-overlap.stderr

…

specialization-polarity.rs

…

specialization-polarity.stderr

…

specialization-projection-alias.rs

…

specialization-projection-alias.stderr

…

specialization-projection.rs

…

specialization-projection.stderr

…

specialization-supertraits.rs

…

specialization-supertraits.stderr

…

specialization-translate-projections-with-lifetimes.rs

…

specialization-translate-projections-with-lifetimes.stderr

…

specialization-translate-projections-with-params.rs

…

specialization-translate-projections-with-params.stderr

…

specialization-translate-projections.rs

…

specialization-translate-projections.stderr

…

transmute-specialization.rs

…

transmute-specialization.stderr

…

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