auto merge of #16933 : nick29581/rust/dst-rvalue, r=nikomatsakis
Closes #16813 r? @nikomatsakis I feel like I should be checking more things in check_rvalues, but not sure what - I don't properly understand expr_use_visitor
This commit is contained in:
commit
dd626b48c4
11 changed files with 123 additions and 4 deletions
|
|
@ -43,4 +43,5 @@ pub fn main() {
|
|||
let f5: &mut Fat<ToBar> = &mut Fat { f1: 5, f2: "some str", ptr: Bar1 {f :42} };
|
||||
let z: Box<ToBar> = box Bar1 {f: 36};
|
||||
f5.ptr = *z; //~ ERROR dynamically sized type on lhs of assignment
|
||||
//~^ ERROR E0161
|
||||
}
|
||||
|
|
|
|||
|
|
@ -22,4 +22,5 @@ pub fn main() {
|
|||
let g: &Fat<[int]> = &f;
|
||||
let h: &Fat<Fat<[int]>> = &Fat { ptr: *g };
|
||||
//~^ ERROR trying to initialise a dynamically sized struct
|
||||
//~^^ ERROR E0161
|
||||
}
|
||||
|
|
|
|||
20
src/test/compile-fail/dst-rvalue.rs
Normal file
20
src/test/compile-fail/dst-rvalue.rs
Normal file
|
|
@ -0,0 +1,20 @@
|
|||
// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
|
||||
// file at the top-level directory of this distribution and at
|
||||
// http://rust-lang.org/COPYRIGHT.
|
||||
//
|
||||
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||||
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||||
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
||||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// Check that dynamically sized rvalues are forbidden
|
||||
|
||||
pub fn main() {
|
||||
let _x: Box<str> = box *"hello world";
|
||||
//~^ ERROR E0161
|
||||
|
||||
let array: &[int] = &[1, 2, 3];
|
||||
let _x: Box<[int]> = box *array;
|
||||
//~^ ERROR E0161
|
||||
}
|
||||
|
|
@ -17,6 +17,8 @@ struct Struct {
|
|||
fn new_struct(r: A+'static) -> Struct {
|
||||
//~^ ERROR variable `r` has dynamically sized type
|
||||
Struct { r: r } //~ ERROR trying to initialise a dynamically sized struct
|
||||
//~^ ERROR E0161
|
||||
//~^^ ERROR E0161
|
||||
}
|
||||
|
||||
trait Curve {}
|
||||
|
|
|
|||
|
|
@ -51,8 +51,10 @@ fn f8<Sized? X>(x1: &S<X>, x2: &S<X>) {
|
|||
|
||||
// Test some tuples.
|
||||
fn f9<Sized? X>(x1: Box<S<X>>, x2: Box<E<X>>) {
|
||||
f5(&(*x1, 34i)); //~ERROR instantiating a type parameter with an incompatible type `(S<X>,int)`,
|
||||
f5(&(32i, *x2)); //~ERROR instantiating a type parameter with an incompatible type `(int,E<X>)`,
|
||||
f5(&(*x1, 34i)); //~ERROR E0161
|
||||
//~^ ERROR instantiating a type parameter with an incompatible type
|
||||
f5(&(32i, *x2)); //~ERROR E0161
|
||||
//~^ ERROR instantiating a type parameter with an incompatible type
|
||||
}
|
||||
|
||||
// I would like these to fail eventually.
|
||||
|
|
|
|||
|
|
@ -30,11 +30,13 @@ fn f3<Sized? X>(x1: Box<X>, x2: Box<X>, x3: Box<X>) {
|
|||
let y: X = *x1; //~ERROR variable `y` has dynamically sized type `X`
|
||||
let y = *x2; //~ERROR variable `y` has dynamically sized type `X`
|
||||
let (y, z) = (*x3, 4i); //~ERROR variable `y` has dynamically sized type `X`
|
||||
//~^ ERROR E0161
|
||||
}
|
||||
fn f4<Sized? X: T>(x1: Box<X>, x2: Box<X>, x3: Box<X>) {
|
||||
let y: X = *x1; //~ERROR variable `y` has dynamically sized type `X`
|
||||
let y = *x2; //~ERROR variable `y` has dynamically sized type `X`
|
||||
let (y, z) = (*x3, 4i); //~ERROR variable `y` has dynamically sized type `X`
|
||||
//~^ ERROR E0161
|
||||
}
|
||||
|
||||
fn g1<Sized? X>(x: X) {} //~ERROR variable `x` has dynamically sized type `X`
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue