Re: "Warning: Cannot prove that 'result' is initialized"

[leledumbo]

The warning comes from parseEnum implementation, just propagated to your code 
(if the return value cannot be proven to have been initialized, then so does 
the variable holding it). Simply ignore for now, when the compiler changes this 
behavior to compile time error, the implementation should have also been fixed. 
From parseEnum code, return value is always initialized or an exception shall 
be raised (probably the compiler cannot yet incorporate exception into the 
proving algorithm).