 
 (flycheck-ert-def-checker-test swift3 swift swift3-objc-inference-off
   (let ((flycheck-checkers '(swift3))
+        (flycheck-swift3-xcrun-sdk "macosx")
         (flycheck-swift3-swift3-objc-inference 'off))
     (flycheck-ert-should-syntax-check
      "objc-inference.swift" 'swift-mode


(flycheck-ert-def-checker-test swift3 swift error
  (let ((flycheck-checkers '(swift3))
        (flycheck-swift3-inputs '("A.swift")))
    (flycheck-ert-should-syntax-check
     "broken.swift" 'swift-mode


(flycheck-ert-def-checker-test swift3 swift swift-version
  (let ((flycheck-checkers '(swift3))
        (flycheck-swift3-xcrun-sdk "macosx")
        (flycheck-swift3-swift-version "3"))
    (flycheck-ert-should-syntax-check
     "objc-inference.swift" 'swift-mode)))

(flycheck-ert-def-checker-test swift3 swift swift3-objc-inference-default
  (let ((flycheck-checkers '(swift3))
        (flycheck-swift3-xcrun-sdk "macosx"))
    (flycheck-ert-should-syntax-check
     "objc-inference.swift" 'swift-mode
     '(6 10 info "add '@objc' to make this declaration overridable"
