---

yaml
---
r: 184889
b: refs/heads/snap-stage3
c: d316a34
h: refs/heads/master
i:
  184887: af1931e
v: v3

Author: Manishearth

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: f0f7ca27de6b4e03f30012656dad270cda55a363
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: 59ab2daad3a2a78ba8d72689b684aff6a751b992
+refs/heads/snap-stage3: d316a34ec2cfb983dbfa1458678accc49a6156ad
 refs/heads/try: ccf8fedf1cffcb8f6f3581d53d220039e192fe77
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d

branches/snap-stage3/src/test/compile-fail/lint-unsafe-code.rs

@@ -12,13 +12,16 @@
 #![allow(dead_code)]
 #![deny(unsafe_code)]
 
+use std::marker::PhantomFn;
+
 struct Bar;
 
 #[allow(unsafe_code)]
 mod allowed_unsafe {
+    use std::marker::PhantomFn;
     fn allowed() { unsafe {} }
     unsafe fn also_allowed() {}
-    unsafe trait AllowedUnsafe {}
+    unsafe trait AllowedUnsafe : PhantomFn<Self> {}
     unsafe impl AllowedUnsafe for super::Bar {}
 }
 
@@ -29,7 +32,7 @@ macro_rules! unsafe_in_macro {
 }
 
 unsafe fn baz() {} //~ ERROR: declaration of an `unsafe` function
-unsafe trait Foo {} //~ ERROR: declaration of an `unsafe` trait
+unsafe trait Foo : PhantomFn<Self> {} //~ ERROR: declaration of an `unsafe` trait
 unsafe impl Foo for Bar {} //~ ERROR: implementation of an `unsafe` trait
 
 trait Baz {