 
            
            
            
            
                24 Apr
                
                    2013
                
            
            
                24 Apr
                
                '13
                
            
            
            
        
    
                6:02 p.m.
            
        One thing I missed in this conversation: Are we considering the Alexandrescu behaviour of throwing in the destructor if the expected<> has not been read? I don't think anything in the standard throws in its destructor. (C++14 might add the ability to detect whether you are already unwinding, so that might help here, although it is still questionable.) I was imagining just an excepted<likely_type, error_type> class. I forgot about the novel throwing behaviour. Tony