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

// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete

// Ensures that `const` items can constrain an opaque `impl Trait`.

use std::fmt::Debug;

pub type Foo = impl Debug;
//~^ ERROR could not find defining uses

const _FOO: Foo = 5;
//~^ ERROR mismatched types [E0308]

fn main() {}
Commit	Line	Data
6a06907d XL	1	// revisions: min_tait full_tait
	2	#![feature(min_type_alias_impl_trait)]
	3	#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
	4	//[full_tait]~^ WARN incomplete
416331ca XL	5
	6	// Ensures that `const` items can constrain an opaque `impl Trait`.
	7
	8	use std::fmt::Debug;
	9
	10	pub type Foo = impl Debug;
136023e0	11	//~^ ERROR could not find defining uses
416331ca XL	12
416331ca XL	13	const _FOO: Foo = 5;
136023e0	14	//~^ ERROR mismatched types [E0308]
416331ca	15
136023e0	16	fn main() {}