#![allow(unused_variables)]
#![feature(downcast_unchecked)]
fn main() {
    use std::any::Any;
    use std::sync::Arc;
    let x: Arc<dyn Any + Send + Sync> = Arc::new(1_usize);
    unsafe {
        assert_eq!(* x.downcast_unchecked::< usize > (), 1);
    }
}