like, you should probably specify it as

```
union ResultVal<T, E> {
    t: T,
    e: E,
}

struct Result<T, E> {
    discriminant: u32,
    value: ResultVal<T, E>,
}
```