diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2022-02-02 14:36:45 -0300 |
|---|---|---|
| committer | Santiago Pastorino <spastorino@gmail.com> | 2022-02-14 12:56:28 -0300 |
| commit | 3fd89a662a8360bbcd64da1353be8bf3b8833af5 (patch) | |
| tree | 722f54f813941e78cc842c9fa60e3bff79c2db97 /src/test/ui/traits/negative-impls | |
| parent | b61e1bbf06334e235e475652bb41a603584e7150 (diff) | |
| download | rust-3fd89a662a8360bbcd64da1353be8bf3b8833af5.tar.gz rust-3fd89a662a8360bbcd64da1353be8bf3b8833af5.zip | |
Properly check regions on negative overlap check
Diffstat (limited to 'src/test/ui/traits/negative-impls')
| -rw-r--r-- | src/test/ui/traits/negative-impls/auxiliary/foreign_trait.rs | 1 | ||||
| -rw-r--r-- | src/test/ui/traits/negative-impls/rely-on-negative-impl-in-coherence.rs | 9 |
2 files changed, 6 insertions, 4 deletions
diff --git a/src/test/ui/traits/negative-impls/auxiliary/foreign_trait.rs b/src/test/ui/traits/negative-impls/auxiliary/foreign_trait.rs index 681f26438e6..0e17f089048 100644 --- a/src/test/ui/traits/negative-impls/auxiliary/foreign_trait.rs +++ b/src/test/ui/traits/negative-impls/auxiliary/foreign_trait.rs @@ -1,4 +1,5 @@ #![feature(negative_impls)] +#![feature(with_negative_coherence)] pub trait ForeignTrait {} diff --git a/src/test/ui/traits/negative-impls/rely-on-negative-impl-in-coherence.rs b/src/test/ui/traits/negative-impls/rely-on-negative-impl-in-coherence.rs index 119ac05c33e..c1f96ab8c14 100644 --- a/src/test/ui/traits/negative-impls/rely-on-negative-impl-in-coherence.rs +++ b/src/test/ui/traits/negative-impls/rely-on-negative-impl-in-coherence.rs @@ -1,6 +1,7 @@ // check-pass #![feature(negative_impls)] +#![feature(with_negative_coherence)] // aux-build: foreign_trait.rs @@ -16,8 +17,8 @@ extern crate foreign_trait; use foreign_trait::ForeignTrait; -trait LocalTrait { } -impl<T: ForeignTrait> LocalTrait for T { } -impl LocalTrait for String { } +trait LocalTrait {} +impl<T: ForeignTrait> LocalTrait for T {} +impl LocalTrait for String {} -fn main() { } +fn main() {} |