G
Size: a a a
G
В
В
let x: A | B = A();
match x {
0(a) => {},
1(b) => unreachable!()
}
G
let x: A | B = A();
match x {
0(a) => {},
1(b) => unreachable!()
}
G
.0
G
x
подставить число, то код не поломается, хотя долженВ
.0
.
?В
.
?В
AZ
В
G
data Sum = A | B
?p
let x: A | B = A();
match x {
0(a) => {},
1(b) => unreachable!()
}
В
A | A
?p
A | A
?AZ
G
G
В
fn test<T>(x: A) -> A | T { ... }
test::<A>(...)
?В
data Sum = A | B
?