blob: f2b4bf946c53702024908a5ff1d6c5a243941272 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
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](specialization-feature-gate-default.rs)
- [On overlapping impls](specialization-feature-gate-overlap.rs)
- Overlap checking with specialization enabled
- [Basic overlap scenarios](specialization-overlap.rs)
- Includes purely structural overlap
- Includes purely trait-based overlap
- Includes mix
- [Overlap with differing polarity](specialization-overlap-negative.rs)
- [Attempt to specialize without using `default`](specialization-no-default.rs)
- [Attempt to change impl polarity in a specialization](specialization-polarity.rs)
- Attempt to rely on projection of a `default` type
- [Rely on it externally in both generic and monomorphic contexts](specialization-default-projection.rs)
- [Rely on it both within an impl and outside it](specialization-default-types.rs)
|
