src/test/ui/specialization/README.md

   1 This directory contains the test for incorrect usage of specialization that
   2 should lead to compile failure. Those tests break down into a few categories:
   3
   4 - Feature gating
   5   - [On use of the `default` keyword](specialization-feature-gate-default.rs)
   6   - [On overlapping impls](specialization-feature-gate-overlap.rs)
   7
   8 - Overlap checking with specialization enabled
   9   - [Basic overlap scenarios](specialization-overlap.rs)
  10     - Includes purely structural overlap
  11     - Includes purely trait-based overlap
  12     - Includes mix
  13   - [Overlap with differing polarity](specialization-overlap-negative.rs)
  14
  15 - [Attempt to specialize without using `default`](specialization-no-default.rs)
  16
  17 - [Attempt to change impl polarity in a specialization](specialization-polarity.rs)
  18
  19 - Attempt to rely on projection of a `default` type
  20   - [Rely on it externally in both generic and monomorphic contexts](specialization-default-projection.rs)
  21   - [Rely on it both within an impl and outside it](specialization-default-types.rs)