mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-28 01:34:21 +00:00
19 lines
290 B
Rust
19 lines
290 B
Rust
|
use std::cell::Cell;
|
||
|
|
|
||
|
|
trait Foo<'a> {
|
||
|
|
const C: Option<Cell<&'a u32>>;
|
||
|
|
}
|
||
|
|
|
||
|
|
impl<'a, T> Foo<'a> for T {
|
||
|
|
const C: Option<Cell<&'a u32>> = None;
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
let a = 22;
|
||
|
|
let b = Some(Cell::new(&a));
|
||
|
|
match b {
|
||
|
|
<() as Foo<'static>>::C => { }
|
||
|
|
_ => { }
|
||
|
|
}
|
||
|
|
}
|