Merge pull request #170 from compiler-errors/master

Allow fully elaborated `::core::marker::Trait` supertraits

Author: dtolnay

Cargo.toml

@@ -16,7 +16,7 @@ proc-macro = true
 [dependencies]
 proc-macro2 = "1.0"
 quote = "1.0"
-syn = { version = "1.0.61", features = ["full", "visit-mut"] }
+syn = { version = "1.0.61", features = ["full", "visit-mut", "extra-traits"] }
 
 [dev-dependencies]
 futures = "0.3"

src/expand.rs

@@ -396,7 +396,7 @@ fn positional_arg(i: usize, pat: &Pat) -> Ident {
 fn has_bound(supertraits: &Supertraits, marker: &Ident) -> bool {
     for bound in supertraits {
         if let TypeParamBound::Trait(bound) = bound {
-            if bound.path.is_ident(marker) {
+            if bound.path.is_ident(marker) || bound.path == parse_quote!(::core::marker::#marker) {
                 return true;
             }
         }

tests/test.rs

@@ -1363,3 +1363,16 @@ pub mod issue161 {
         }
     }
 }
+
+// https://github.com/dtolnay/async-trait/issues/169
+#[deny(where_clauses_object_safety)]
+pub mod issue169 {
+    use async_trait::async_trait;
+
+    #[async_trait]
+    pub trait Trait: ::core::marker::Sync {
+        async fn f(&self) {}
+    }
+
+    pub fn test(_t: &dyn Trait) {}
+}