bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Document OverlapMode

Browse source
This commit is contained in:
Santiago Pastorino 2022-01-22 21:24:11 -03:00
parent e5f2fdb539
commit 7847ca8c61
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_trait_selection/src/traits/coherence.rs
View file

@ -137,10 +137,15 @@ fn with_fresh_ty_vars<'cx, 'tcx>(
header header
} }
/// What kind of overlap check are we doing -- this exists just for testing and feature-gating
/// purposes.
#[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)] #[derive(Copy, Clone, PartialEq, Eq, Hash, Debug)]
enum OverlapMode { enum OverlapMode {
/// The 1.0 rules (either types fail to unify, or where clauses are not implemented for crate-local types)
Stable, Stable,
/// Feature-gated test: Stable, *or* there is an explicit negative impl that rules out one of the where-clauses.
WithNegative, WithNegative,
/// Just check for negative impls, not for "where clause not implemented": used for testing.
Strict, Strict,
} }