 
            
            
            
            
                27 May
                
                    2017
                
            
            
                27 May
                
                '17
                
            
            
            
        
    
                3:33 p.m.
            
        - outcome<T> and result<T> will have their empty state removed, and all observers gain narrow contracts.
I disagree with the narrow contract change. Wide was correct.
I agree. But we were outvoted, and I've retained the current wide result<T> and outcome<T>, just renamed to checked_result<T> and checked_outcome<T>. Niall -- ned Productions Limited Consulting http://www.nedproductions.biz/ http://ie.linkedin.com/in/nialldouglas/