tests/ui/unsized-locals/unsized-exprs.rs

   1 #![feature(unsized_tuple_coercion, unsized_fn_params)]
   2
   3 struct A<X: ?Sized>(X);
   4
   5 fn udrop<T: ?Sized>(_x: T) {}
   6 fn foo() -> Box<[u8]> {
   7     Box::new(*b"foo")
   8 }
   9 fn tfoo() -> Box<(i32, [u8])> {
  10     Box::new((42, *b"foo"))
  11 }
  12 fn afoo() -> Box<A<[u8]>> {
  13     Box::new(A(*b"foo"))
  14 }
  15
  16 impl std::ops::Add<i32> for A<[u8]> {
  17     type Output = ();
  18     fn add(self, _rhs: i32) -> Self::Output {}
  19 }
  20
  21 fn main() {
  22     udrop::<(i32, [u8])>((42, *foo()));
  23     //~^ERROR E0277
  24     udrop::<A<[u8]>>(A { 0: *foo() });
  25     //~^ERROR E0277
  26     udrop::<A<[u8]>>(A(*foo()));
  27     //~^ERROR E0277
  28 }