| #![feature(no_core)] | |
| #![no_core] | |
| #![feature(optin_builtin_traits, lang_items)] | |
| pub unsafe auto trait Send {} | |
| #[lang = "sync"] | |
| pub unsafe auto trait Sync {} | |
| trait A {} | |
| impl dyn A + Send + Sync + NonExist {} // { dg-error "could not resolve type path .NonExist." } |