blob: a6a2afdad076c6668cbce1877f3dd0a5f75875f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#[lang = "sized"]
pub trait Sized {}
macro_rules! maybe_impl {
($left:ident, $right:ident, $l_fn:ident, $r_fn:ident) => {
fn $l_fn(value: T) -> Maybe<T> {
Maybe::$left(value)
}
fn $r_fn() -> Maybe<T> {
Maybe::$right
}
};
}
enum Maybe<T> {
Just(T),
Nothing,
}
impl<T> Maybe<T> {
maybe_impl!(Just, Nothing, just, nothing);
}
fn main() {
let _ = Maybe::just(14);
let _: Maybe<i32> = Maybe::nothing();
}
|