protocol Bar {
    
}


class BarImpl: Bar {
    
}


extension Bar where Self: BarImpl {
    
    @discardableResult
    func foo1() -> Int {
        return 1
    }
    
    @discardableResult
    func foo2() -> Int? {
        return 2
    }
}


struct TestWrapper {
    private let object: (Bar & BarImpl)?
    
    init(object: (Bar & BarImpl)) {
        self.object = object
    }
    
    func test() {
        object?.foo1() // No warning
        object?.foo2() // Expression of type 'Int?' is unused
    }
}