1 // Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
14 use std
::panic
::{UnwindSafe, AssertUnwindSafe}
;
15 use std
::cell
::RefCell
;
16 use std
::sync
::{Mutex, RwLock, Arc}
;
21 fn assert
<T
: UnwindSafe
+ ?Sized
>() {}
27 assert
::<*const i32>();
35 assert
::<RefCell
<i32>>();
37 assert
::<Mutex
<i32>>();
38 assert
::<RwLock
<i32>>();
44 assert
::<RwLock
<T
>>();
46 fn baz
<T
: UnwindSafe
>() {
49 assert
::<RefCell
<T
>>();
50 assert
::<AssertUnwindSafe
<T
>>();
51 assert
::<&AssertUnwindSafe
<T
>>();
52 assert
::<Rc
<AssertUnwindSafe
<T
>>>();
53 assert
::<Arc
<AssertUnwindSafe
<T
>>>();