extern crate vulkano;
extern crate winit;

use vulkano::framebuffer::{Framebuffer, FramebufferAbstract, RenderPassAbstract};
use vulkano::image::SwapchainImage;
use winit::Window;

use std::sync::Arc;

pub fn foo(images: &[Arc<SwapchainImage<Window>>], render_pass: Arc<RenderPassAbstract + Sync + Send>) {
    images.iter().map(|image| {
        Arc::new(
            Framebuffer::start(render_pass.clone()).add(image.clone()).unwrap().build().unwrap()
        ) as Arc<FramebufferAbstract + Send + Sync>
    });
}

error[E0277]: the trait bound `std::sync::mpsc::Sender<(u64, i16, i16)>: std::marker::Sync` is not satisfied in `vulkano::swapchain::Surface<winit::Window>`
  --> src/main.rs:18:9
   |
18 | /         Arc::new(
19 | |             Framebuffer::start(render_pass.clone()).add(image.clone()).unwrap().build().unwrap()
20 | |         ) as Arc<FramebufferAbstract + Send + Sync>
   | |_________^ `std::sync::mpsc::Sender<(u64, i16, i16)>` cannot be shared between threads safely
   |
   = help: within `vulkano::swapchain::Surface<winit::Window>`, the trait `std::marker::Sync` is not implemented for `std::sync::mpsc::Sender<(u64, i16, i16)>`
   = note: required because it appears within the type `winit::os::unix::x11::Window`
   = note: required because it appears within the type `winit::platform::platform::Window`
   = note: required because it appears within the type `winit::Window`
   = note: required because it appears within the type `vulkano::swapchain::Surface<winit::Window>`
   = note: required because of the requirements on the impl of `std::marker::Send` for `std::sync::Arc<vulkano::swapchain::Surface<winit::Window>>`
   = note: required because it appears within the type `vulkano::swapchain::Swapchain<winit::Window>`
   = note: required because of the requirements on the impl of `std::marker::Send` for `std::sync::Arc<vulkano::swapchain::Swapchain<winit::Window>>`
   = note: required because it appears within the type `vulkano::image::SwapchainImage<winit::Window>`
   = note: required because of the requirements on the impl of `std::marker::Sync` for `std::sync::Arc<vulkano::image::SwapchainImage<winit::Window>>`
   = note: required because it appears within the type `((), std::sync::Arc<vulkano::image::SwapchainImage<winit::Window>>)`
   = note: required because it appears within the type `vulkano::framebuffer::Framebuffer<std::sync::Arc<vulkano::framebuffer::RenderPassAbstract + std::marker::Sync + std::marker::Send>, ((), std::sync::Arc<vulkano::image::SwapchainImage<winit::Window>>)>`
   = note: required for the cast to the object type `vulkano::framebuffer::FramebufferAbstract + std::marker::Sync + std::marker::Send`

error: aborting due to previous error

If you want more information on this error, try using "rustc --explain E0277"
error: Could not compile `foo`.