(ns core-typed-bug.core
  (:require [ clojure.core.typed :as t ]))

(t/defprotocol P
  (f
   [a] :- Any
   [a b :- Any] :- Any))

(t/ann-record R [])
(defrecord R []
  P
  (f [a] 1)
  (f [a b] 2))