use std::any::Any;

trait Trait {}
struct A;
impl Trait for A {}

fn foo() -> impl Trait {
    A
}
fn main() {
    let x = foo();
    println!("{}", (&x as &Any).is::<A>());
}