diff options
Diffstat (limited to 'tests/ui/dst/dst-bad-assign-2.rs')
-rw-r--r-- | tests/ui/dst/dst-bad-assign-2.rs | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/tests/ui/dst/dst-bad-assign-2.rs b/tests/ui/dst/dst-bad-assign-2.rs new file mode 100644 index 000000000..7ba31bf2e --- /dev/null +++ b/tests/ui/dst/dst-bad-assign-2.rs @@ -0,0 +1,38 @@ +// Forbid assignment into a dynamically sized type. + +struct Fat<T: ?Sized> { + f1: isize, + f2: &'static str, + ptr: T +} + +#[derive(PartialEq,Eq)] +struct Bar; + +#[derive(PartialEq,Eq)] +struct Bar1 { + f: isize +} + +trait ToBar { + fn to_bar(&self) -> Bar; + fn to_val(&self) -> isize; +} + +impl ToBar for Bar1 { + fn to_bar(&self) -> Bar { + Bar + } + fn to_val(&self) -> isize { + self.f + } +} + +pub fn main() { + // Assignment. + let f5: &mut Fat<dyn ToBar> = &mut Fat { f1: 5, f2: "some str", ptr: Bar1 {f :42} }; + let z: Box<dyn ToBar> = Box::new(Bar1 {f: 36}); + f5.ptr = *z; + //~^ ERROR the size for values of type + +} |