-
Guido Trotter authored
Turns out with the current implementation of the type system a variable can both be required and not required. Interesting (but perhaps worth a further look). Signed-off-by: Guido Trotter <ultrotter@google.com> Reviewed-by: Iustin Pop <iustin@google.com>
f8f590c8