[go: up one dir, main page]

aster 0.16.0

A libsyntax ast builder
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
55
56
57

extern crate bar;

use std::convert::From;

use bar::MyFrom2;

struct MyVec(Vec<u8>);

impl<'a> From<&'a [u8]> for MyVec {
    fn from(s: &[u8]) -> MyVec {
        MyVec(s.to_owned())
    }
}

trait MyFrom<T> {
    fn my_from(T) -> Self;
}

impl<'a> MyFrom<&'a [u8]> for MyVec {
    fn my_from(s: &[u8]) -> MyVec {
        MyVec(s.to_owned())
    }
}

impl<'a> MyFrom2<&'a [u8]> for MyVec {
    fn my_from2(s: &[u8]) -> MyVec {
        MyVec(s.to_owned())
    }
}

impl<'a> MyFrom2<&'a [u8; 3]> for MyVec {
    fn my_from2(s: &[u8; 3]) -> MyVec {
        MyVec(s[..].to_owned())
    }
}

fn make(s: &[u8]) -> MyVec {
    MyVec(s.to_owned())
}

fn main() {
    let _v = MyVec::from(&b"123"[..]);
    //let _v = MyVec::from(b"123");
    //
    // Error's with:
    // foo.rs:27:14: 27:25 error: the trait `core::convert::From<&[u8; 3]>` is not implemented for the type `MyVec` [E0277]
    // foo.rs:27     let _v = MyVec::from(b"123");
    //                        ^~~~~~~~~~~

    let _v = MyVec::my_from(&b"123"[..]);
    let _v = MyVec::my_from(b"123");

    let _v = MyVec::my_from2(&b"123"[..]);
    let _v = MyVec::my_from2(b"123");

    let _v = make(b"123");
}