---

yaml
---
r: 187094
b: refs/heads/try
c: d316a34
h: refs/heads/master
v: v3

Author: Manishearth

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: b4c965ee803a4521d8b4575f634e036f93e408f3
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 3a96d6a9818fe2affc98a187fb1065120458cee9
-refs/heads/try: 59ab2daad3a2a78ba8d72689b684aff6a751b992
+refs/heads/try: d316a34ec2cfb983dbfa1458678accc49a6156ad
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596

branches/try/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 {