#![feature(type_alias_impl_trait)]#![allow(dead_code)]// check-passusestd::fmt::Debug;typeFoo=implDebug;fnfoo1(mutx: Foo){x=22_u32;}fnfoo2(mutx: Foo){// no constraint on x}fnfoo3(x: Foo){println!("{:?}",x);}fnfoo_value()-> Foo{11_u32}fnmain(){foo3(foo_value());}