1 // run-pass
2 trait Lattice {
3     const BOTTOM: Self;
4 }
5 
6 impl<T> Lattice for Option<T> {
7     const BOTTOM: Option<T> = None;
8 }
9 
main()10 fn main(){}
11