[rustc.git] / src / test / ui / type-alias-impl-trait / type_of_a_let.rs

#![feature(type_alias_impl_trait)]
#![allow(dead_code)]

use std::fmt::Debug;

type Foo = impl Debug;

fn foo1() -> u32 {
    let x: Foo = 22_u32;
    x
}

fn foo2() -> u32 {
    let x: Foo = 22_u32;
    let y: Foo = x;
    same_type((x, y)); //~ ERROR use of moved value
    y //~ ERROR use of moved value
}

fn same_type<T>(x: (T, T)) {}

fn main() {}
Commit	Line	Data
94222f64 XL	1	#![feature(type_alias_impl_trait)]
	2	#![allow(dead_code)]
	3
94222f64 XL	4	use std::fmt::Debug;
	5
	6	type Foo = impl Debug;
94222f64 XL	7
	8	fn foo1() -> u32 {
	9	let x: Foo = 22_u32;
94222f64	10	x
94222f64 XL	11	}
	12
	13	fn foo2() -> u32 {
	14	let x: Foo = 22_u32;
94222f64	15	let y: Foo = x;
5e7ed085 FG	16	same_type((x, y)); //~ ERROR use of moved value
5e7ed085 FG	17	y //~ ERROR use of moved value
94222f64 XL	18	}
	19
	20	fn same_type<T>(x: (T, T)) {}
	21
	22	fn main() {}