File tree Expand file tree Collapse file tree 4 files changed +8
-7
lines changed Expand file tree Collapse file tree 4 files changed +8
-7
lines changed Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ fn foo(_x: @uint) {}
1212
1313fn main ( ) {
1414 let x = @3 u;
15- let _: ~fn ( ) = || foo ( x) ; //~ ERROR value has non-owned type `@uint `
16- let _: ~fn ( ) = || foo ( x) ; //~ ERROR value has non-owned type `@uint `
17- let _: ~fn ( ) = || foo ( x) ; //~ ERROR value has non-owned type `@uint `
15+ let _: ~fn ( ) = || foo ( x) ; //~ ERROR does not fulfill `Owned `
16+ let _: ~fn ( ) = || foo ( x) ; //~ ERROR does not fulfill `Owned `
17+ let _: ~fn ( ) = || foo ( x) ; //~ ERROR does not fulfill `Owned `
1818}
Original file line number Diff line number Diff line change 1111trait foo { fn foo ( & self ) ; }
1212
1313fn to_foo < T : Copy + foo > ( t : T ) -> @foo {
14- @t as @foo //~ ERROR value may contain borrowed pointers; add `'static` bound
14+ @t as @foo
15+ //~^ ERROR value may contain borrowed pointers; add `'static` bound
16+ //~^^ ERROR cannot pack type
1517}
1618
1719fn to_foo2 < T : Copy + foo + ' static > ( t : T ) -> @foo {
Original file line number Diff line number Diff line change 99// except according to those terms.
1010
1111fn copy1 < T : Copy > ( t : T ) -> @fn ( ) -> T {
12- let result: @fn ( ) -> T = || copy t;
13- //~^ ERROR value may contain borrowed pointers
12+ let result: @fn ( ) -> T = || copy t; //~ ERROR does not fulfill `'static`
1413 result
1514}
1615
Original file line number Diff line number Diff line change @@ -32,7 +32,7 @@ fn main() {
3232 let x = Cell :: new ( foo ( Port ( @( ) ) ) ) ;
3333
3434 do task:: spawn {
35- let y = x. take( ) ; //~ ERROR value has non-owned type
35+ let y = x. take( ) ; //~ ERROR does not fulfill `Owned`
3636 error ! ( y) ;
3737 }
3838}
You can’t perform that action at this time.
0 commit comments