diff options
Diffstat (limited to 'src/test/ui/unsized-locals/unsized-exprs-rpass.rs')
-rw-r--r-- | src/test/ui/unsized-locals/unsized-exprs-rpass.rs | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/src/test/ui/unsized-locals/unsized-exprs-rpass.rs b/src/test/ui/unsized-locals/unsized-exprs-rpass.rs new file mode 100644 index 000000000..175b02fcb --- /dev/null +++ b/src/test/ui/unsized-locals/unsized-exprs-rpass.rs @@ -0,0 +1,33 @@ +// run-pass +#![allow(incomplete_features, unused_braces, unused_parens)] +#![feature(unsized_tuple_coercion, unsized_locals, unsized_fn_params)] + +struct A<X: ?Sized>(#[allow(unused_tuple_struct_fields)] X); + +fn udrop<T: ?Sized>(_x: T) {} +fn foo() -> Box<[u8]> { + Box::new(*b"foo") +} +fn tfoo() -> Box<(i32, [u8])> { + Box::new((42, *b"foo")) +} +fn afoo() -> Box<A<[u8]>> { + Box::new(A(*b"foo")) +} + +impl std::ops::Add<i32> for A<[u8]> { + type Output = (); + fn add(self, _rhs: i32) -> Self::Output {} +} + +fn main() { + udrop::<[u8]>(loop { + break *foo(); + }); + udrop::<[u8]>(if true { *foo() } else { *foo() }); + udrop::<[u8]>({ *foo() }); + udrop::<[u8]>((*foo())); + udrop::<[u8]>((*tfoo()).1); + *afoo() + 42; + udrop as fn([u8]); +} |