5378c1cf07
Always use RevealAll for const eval queries implements what is described in https://github.com/rust-lang/rust/pull/116803#discussion_r1364089471 Using `UserFacing` for const eval does not make sense anymore, unless we significantly change things like avoiding revealing opaque types. New tests are copied from https://github.com/rust-lang/rust/pull/101478
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
default
type