blob: 1c49b750319af9bbe37490f129340707dffbe7c3 (
plain)
1
2
3
4
5
6
7
8
9
|
#![feature(optin_builtin_traits)]
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." }
|