Czy mogę pożyczyć wskaźnik do wspólnej cechy w Rust?

Question

Z tutorial on borrowed pointers (łamany), nieco zmodyfikowany:

struct Point {x: float, y: float} 

fn compute(p1 : &Point) {} 

fn main() { 
    let shared_box : @Point = @Point {x: 5.0, y: 1.0}; 
    compute(shared_box); 
} 

I wszystko jest w porządku, ponieważ wspólna skrzynka jest automatycznie pożyczył dla funkcji.

Ale robi to samo z cechą:

struct Point {x: float, y: float} 
trait TPoint {} 

impl TPoint for Point {} 

fn compute(p1 : &TPoint) {} 

fn main() { 
    let shared_box : @TPoint = @Point {x: 5.0, y: 1.0} as @TPoint; 

    compute(shared_box); 
    //  ^~~~~~~ The error is here 
} 

I to się nie powiedzie, (kompilator wersji 0.6) mówiąc:

error: mismatched types: expected &TPoint but found @TPoint (trait storage differs: expected & but found @)

Jest to błąd w kompilator? Czy pożyczone wskaźniki nie są dozwolone dla cech?

Jeśli odpowiedź jest druga, dlaczego tak jest?

Answer 1

To znany błąd w aktualnej wersji Rust:

#3794: Casting to a trait doesn't auto-coerce to a &T type

Odnotowano pewne prace na próbują rozwiązać ten problem, ale istnieją pewne szczegóły techniczne, które muszą być eliminowane; zainteresowane strony mogą zobaczyć część dyskusji (sprzed kilku miesięcy) here on pull request 4178.