import Quick
import Nimble
@testable import Sample

class SampleSpec: QuickSpec {
    
    override func spec() {
        
        describe("what looks like a bug") {
            
            // this version does not compile
            
            let closureWithoutCatch = {
                let object = MyClass()
                
                // expect takes an @autoclosure as its first parameter
                expect(try object.functionThatThrow()).to(throwError())
            }
            
            // swiftc: Invalid conversion from throwing function of type '() throws -> ()' to non-throwing function type '() -> Void'
            it("generates a compiler error", closure: closureWithoutCatch)
            
            
            
            // this version compile but emits a warning that makes no sense considering the previous error
            
            let closureWithCatch = {
                let object = MyClass()
                do {
                    expect(try object.functionThatThrow()).to(throwError())
                } catch {
                    // swiftc: 'catch' block is unreachable because no errors are thrown in 'do' block
                }
            }
            
            it("generates a compiler warning", closure: closureWithCatch)
            
            
            
            // with a func the compiler raises no warning nor error
            
            it("just works", closure: closureAsFunc)
            
        }
        
    }
    
    func closureAsFunc() {
        let object = MyClass()
        expect(try object.functionThatThrow()).to(throwError())
    }
    
}