 
            
            
            
            
                29 May
                
                    2017
                
            
            
                29 May
                
                '17
                
            
            
            
        
    
                1:29 a.m.
            
        I am not sure what semantics you have chosen for optional_expected<>.
optional_expected<T, ... > should be an optimize version of optional<expected<T, ...>>.
According to Niall's example, it was my understanding that his mental model was `expected<optional<T>, ...>`. That is, empty resutl means: no error ocurred, I successfully computed the non-value.
That code example I posted I deliberately overrode the default handling of the empty state to mean no error occurred. Niall -- ned Productions Limited Consulting http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/