Skip to content

Commit 6093ea8

Browse files
committed
Add more tests
1 parent 2c52cb4 commit 6093ea8

File tree

3 files changed

+80
-0
lines changed

3 files changed

+80
-0
lines changed
Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
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+
trait Foo<A> {
12+
fn foo(&self, a: A) -> A {
13+
a
14+
}
15+
}
16+
17+
trait NotRelevant<A> {
18+
fn nr(&self, a: A) -> A {
19+
a
20+
}
21+
}
22+
23+
struct Bar;
24+
25+
impl Foo<i8> for Bar {}
26+
impl Foo<i16> for Bar {}
27+
impl Foo<i32> for Bar {}
28+
29+
impl Foo<u8> for Bar {}
30+
impl Foo<u16> for Bar {}
31+
impl Foo<u32> for Bar {}
32+
33+
impl NotRelevant<usize> for Bar {}
34+
35+
fn main() {
36+
let f1 = Bar;
37+
38+
f1.foo(1usize);
39+
//~^ error: the trait `Foo<usize>` is not implemented for the type `Bar`
40+
// | help: the following implementations were found:
41+
// | help: Foo<i8>
42+
// | help: Foo<i16>
43+
// | help: Foo<i32>
44+
// | help: Foo<u8>
45+
// | help: and 2 others
46+
}
Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
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+
trait Foo<A> {
12+
fn foo(&self, a: A) -> A {
13+
a
14+
}
15+
}
16+
17+
trait NotRelevant<A> {
18+
fn nr(&self, a: A) -> A {
19+
a
20+
}
21+
}
22+
23+
struct Bar;
24+
25+
impl NotRelevant<usize> for Bar {}
26+
27+
fn main() {
28+
let f1 = Bar;
29+
30+
f1.foo(1usize);
31+
//~^ error: method named `foo` found for type `Bar` in the current scope
32+
//~| help: items from traits can only be used if the trait is implemented and in scope
33+
//~| help: candidate #1: `Foo`
34+
}

0 commit comments

Comments
 (0)