src/tools/miri/tests/run-pass/issue-33387.rs

use std::sync::Arc;

trait Foo {}

impl Foo for [u8; 2] {}

fn main() {
    let _val: Arc<Foo + Send> = Arc::new([3, 4]);
}