use std::sync::Arc;
trait A {}
trait B: A {}

fn a<T: A + ?Sized>(a: Arc<T>) {}
fn b(b: Arc<dyn B>) {
    a(b)
}

fn main() {
    println!("Hello, world!");
}