| //@ compile-flags: -Zunstable-options -Zoffload=Device -Clto=fat -Csymbol-mangling-version=v0 |
| //@ build-fail |
| //@ needs-offload |
| |
| // A generic offload kernel that is never called from host code (and hence |
| // never monomorphized) cannot be discovered without a manifest: with |
| // `-Zoffload=Device` (no manifest path), the compiler relies on |
| // monomorphization to find kernels, so it must reject the kernel rather than |
| // silently emit no device code for it. |
| |
| #![feature(rustc_attrs)] |
| #![allow(internal_features)] |
| |
| #[rustc_offload_kernel] |
| fn kernel<T: Copy>(x: T) {} |
| //~^ ERROR generic offload kernel `kernel` is not instantiated |
| |
| fn main() {} |
