Skip to content

Commit 92d16d9

Browse files
committed
Fallout in tests -- break the object safety part into a separate file because error
will be in future reported by wfcheck, which runs in a later stage than coherence
1 parent 09bf2fe commit 92d16d9

File tree

2 files changed

+19
-5
lines changed

2 files changed

+19
-5
lines changed
Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
// Test that we give suitable error messages when the user attempts to
12+
// impl a trait `Trait` for its own object type.
13+
14+
// If the trait is not object-safe, we give a more tailored message
15+
// because we're such schnuckels:
16+
trait NotObjectSafe { fn eq(&self, other: Self); }
17+
impl NotObjectSafe for NotObjectSafe { } //~ ERROR E0372
18+
19+
fn main() { }

src/test/compile-fail/coherence-impl-trait-for-trait.rs

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,4 @@ impl Baz for Baz { } //~ ERROR E0371
2424
trait Other { }
2525
impl Other for Baz { } // OK, Other not a supertrait of Baz
2626

27-
// If the trait is not object-safe, we give a more tailored message
28-
// because we're such schnuckels:
29-
trait NotObjectSafe { fn eq(&self, other: Self); }
30-
impl NotObjectSafe for NotObjectSafe { } //~ ERROR E0372
31-
3227
fn main() { }

0 commit comments

Comments
 (0)