Skip to content

Commit e6bbb5e

Browse files
committed
---
yaml --- r: 232373 b: refs/heads/try c: 92d16d9 h: refs/heads/master i: 232371: 57d136d v: v3
1 parent 141282c commit e6bbb5e

File tree

3 files changed

+20
-6
lines changed

3 files changed

+20
-6
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
---
22
refs/heads/master: edeb4f1c86cbf6af8ef9874d4b3af50f721ea1b8
33
refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
4-
refs/heads/try: 09bf2fef2249602bdd3d4d58ae0dcb9e7968cacc
4+
refs/heads/try: 92d16d961d01dfa5f16218ddc630df31b099d2aa
55
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
66
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
77
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
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() { }

branches/try/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)