| .. | ||
| defaultimpl | ||
| issue-39448.rs | ||
| issue-39448.stderr | ||
| issue-52050.rs | ||
| issue-52050.stderr | ||
| README.md | ||
| specialization-default-projection.rs | ||
| specialization-default-projection.stderr | ||
| specialization-default-types.rs | ||
| specialization-default-types.stderr | ||
| 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-overlap-negative.rs | ||
| specialization-overlap-negative.stderr | ||
| specialization-overlap.rs | ||
| specialization-overlap.stderr | ||
| specialization-polarity.rs | ||
| specialization-polarity.stderr | ||
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
-
Overlap checking with specialization enabled
- Basic overlap scenarios
- Includes purely structural overlap
- Includes purely trait-based overlap
- Includes mix
- Overlap with differing polarity
- Basic overlap scenarios
-
Attempt to rely on projection of a
defaulttype