12 lines
142 B
Rust
12 lines
142 B
Rust
//@ check-pass
|
|
|
|
trait Lattice {
|
|
const BOTTOM: Self;
|
|
}
|
|
|
|
impl<T> Lattice for Option<T> {
|
|
const BOTTOM: Option<T> = None;
|
|
}
|
|
|
|
fn main(){}
|