//@ check-pass
#![feature(type_alias_impl_trait)]
type Foo = (impl Sized, u8);
pub fn foo() -> Foo {
//~^ WARNING type alias `Foo` is more private than the item `foo`
(42, 42)
}
fn main() {}