1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
// Fix issue 52082: Confusing error if accidentally defining a type parameter with the same name as
// an existing type
//
// To this end, make sure that when trying to retrieve a field of a (reference to) type parameter,
// rustc points to the point where the parameter was defined.
#[derive(Debug)]
struct Point
{
x: i32,
y: i32
}
impl Point
{
fn add(a: &Point, b: &Point) -> Point
{
Point {x: a.x + b.x, y: a.y + b.y}
}
}
trait Eq
{
fn equals_ref<T>(a: &T, b: &T) -> bool;
fn equals_val<T>(a: T, b: T) -> bool;
}
impl Eq for Point
{
fn equals_ref<Point>(a: &Point, b: &Point) -> bool
{
a.x == b.x && a.y == b.y //~ ERROR no field `x` on type `&Point` [E0609]
//~|ERROR no field `x` on type `&Point` [E0609]
//~|ERROR no field `y` on type `&Point` [E0609]
//~|ERROR no field `y` on type `&Point` [E0609]
}
fn equals_val<Point>(a: Point, b: Point) -> bool
{
a.x == b.x && a.y == b.y //~ ERROR no field `x` on type `Point` [E0609]
//~|ERROR no field `x` on type `Point` [E0609]
//~|ERROR no field `y` on type `Point` [E0609]
//~|ERROR no field `y` on type `Point` [E0609]
}
}
fn main()
{
let p1 = Point {x: 0, y: 10};
let p2 = Point {x: 20, y: 42};
println!("{:?}", Point::add(&p1, &p2));
println!("p1: {:?}, p2: {:?}", p1, p2);
println!("&p1 == &p2: {:?}", Point::equals_ref(&p1, &p2));
println!("p1 == p2: {:?}", Point::equals_val(p1, p2));
}
|
