Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

An invalid type annotation for a function with a record argument passes a type check

Description

Following code (unexpectedly) passes a type check.

(ns tst (:require [clojure.core.typed :refer [Int Kw ann] :as typed])) (typed/defprotocol [[a :variance :covariant]] P (f [p :- (P a)] :- a)) (typed/ann-record [[a :variance :covariant]] R [_f :- a]) (defrecord R [_f] P (f [self] _f)) (ann fr [(R Int) -> Kw]) (defn fr [x] (f x))

Environment

None

Activity

Show:

Details

Assignee

Reporter

Fix versions

Affects versions

Priority

Created September 25, 2015 at 11:18 PM
Updated December 4, 2017 at 12:04 AM

Flag notifications