{"action":"opened","issue":{"url":"https://api.github.com/repos/racket/typed-racket/issues/454","repository_url":"https://api.github.com/repos/racket/typed-racket","labels_url":"https://api.github.com/repos/racket/typed-racket/issues/454/labels{/name}","comments_url":"https://api.github.com/repos/racket/typed-racket/issues/454/comments","events_url":"https://api.github.com/repos/racket/typed-racket/issues/454/events","html_url":"https://github.com/racket/typed-racket/issues/454","id":188325402,"number":454,"title":"newly defined subtype bypassed with specific signature","user":{"login":"philnguyen","id":128396,"avatar_url":"https://avatars.githubusercontent.com/u/128396?v=3","gravatar_id":"","url":"https://api.github.com/users/philnguyen","html_url":"https://github.com/philnguyen","followers_url":"https://api.github.com/users/philnguyen/followers","following_url":"https://api.github.com/users/philnguyen/following{/other_user}","gists_url":"https://api.github.com/users/philnguyen/gists{/gist_id}","starred_url":"https://api.github.com/users/philnguyen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/philnguyen/subscriptions","organizations_url":"https://api.github.com/users/philnguyen/orgs","repos_url":"https://api.github.com/users/philnguyen/repos","events_url":"https://api.github.com/users/philnguyen/events{/privacy}","received_events_url":"https://api.github.com/users/philnguyen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-11-09T19:01:51Z","updated_at":"2016-11-09T19:01:51Z","closed_at":null,"body":"### What version of Racket are you using?\r\nv6.7.0.2\r\n\r\n### What program did you run?\r\n\r\n```{racket}\r\n#lang typed/racket\r\n\r\n(define-new-subtype Interned-String (->Interned-String Index))\r\n\r\n(: f ([Any Interned-String] [#:some-property Boolean] . ->* . Index))\r\n(define (f _ k #:some-property [prop #f])\r\n  k)\r\n\r\n(f 42 \"\" #:some-property #t)\r\n;; ==> \"\" : Index\r\n```\r\n\r\n### What should have happened?\r\nThe last expression should not type-check because `\"\"` is not an `Interned-String`.\r\nBut here it goes through and returns `\"\" : Index`\r\n\r\nIf I either remove `f`'s first arguement `_ : Any` or the optional keyword argument `#:some-property Boolean`, the problem does not show up (the expression fails to type-check as expected).\r\n\r\n### If you got an error message, please include it here.\r\n"}}
{"actor":{"display_login":"philnguyen"}}