         (flycheck-swift3-swift3-objc-inference 'off))
     (flycheck-ert-should-syntax-check
      "objc-inference.swift" 'swift-mode
-     '(6 10 info "overridden declaration is here" :checker swift3)
-     '(10 19 error "declarations from extensions cannot be overridden yet"
+     '(6 10 info "add '@objc' to make this declaration overridable"
+         :checker swift3)
+     '(10 19 error "overriding non-@objc declarations from extensions is not supported"
           :checker swift3))))
 
 (flycheck-ert-initialize flycheck-swift3-test-directory)

;;; flycheck-swift3-test.el --- Flycheck Swift: Test cases

;; Copyright (c) 2016 GyazSquare Inc.

;; Author: Goichi Hirakawa <gooichi@gyazsquare.com>
;; URL: https://github.com/GyazSquare/flycheck-swift3

  (let ((flycheck-checkers '(swift3)))
    (flycheck-ert-should-syntax-check
     "objc-inference.swift" 'swift-mode
     '(6 10 info "add '@objc' to make this declaration overridable"
         :checker swift3)
     '(10 19 error "overriding non-@objc declarations from extensions is not supported"
          :checker swift3))))

(flycheck-ert-def-checker-test swift3 swift swift3-objc-inference-on
