{"action":"created","issue":{"url":"https://api.github.com/repos/mauro3/Traits.jl/issues/2","labels_url":"https://api.github.com/repos/mauro3/Traits.jl/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/mauro3/Traits.jl/issues/2/comments","events_url":"https://api.github.com/repos/mauro3/Traits.jl/issues/2/events","html_url":"https://github.com/mauro3/Traits.jl/issues/2","id":48941401,"number":2,"title":"Subtypes in @traitdef","user":{"login":"mindbound","id":1147991,"avatar_url":"https://avatars.githubusercontent.com/u/1147991?v=3","gravatar_id":"","url":"https://api.github.com/users/mindbound","html_url":"https://github.com/mindbound","followers_url":"https://api.github.com/users/mindbound/followers","following_url":"https://api.github.com/users/mindbound/following{/other_user}","gists_url":"https://api.github.com/users/mindbound/gists{/gist_id}","starred_url":"https://api.github.com/users/mindbound/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mindbound/subscriptions","organizations_url":"https://api.github.com/users/mindbound/orgs","repos_url":"https://api.github.com/users/mindbound/repos","events_url":"https://api.github.com/users/mindbound/events{/privacy}","received_events_url":"https://api.github.com/users/mindbound/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":16,"created_at":"2014-11-16T03:34:00Z","updated_at":"2015-04-14T19:31:57Z","closed_at":"2015-04-14T17:35:16Z","body":"How would one write correctly e.g. the following,\r\n```julia\r\n@traitdef Foo{X} begin\r\n    fnx{Y <: Integer}(X, Y) -> Integer\r\nend\r\n```\r\ni.e. so that `Y` can only be a subtype of `Integer`? I assume it would require a combination of associated types and `@constraint`s but I can't seem to figure out the details from the documentation. TIA."},"comment":{"url":"https://api.github.com/repos/mauro3/Traits.jl/issues/comments/93031208","html_url":"https://github.com/mauro3/Traits.jl/issues/2#issuecomment-93031208","issue_url":"https://api.github.com/repos/mauro3/Traits.jl/issues/2","id":93031208,"user":{"login":"mauro3","id":4098145,"avatar_url":"https://avatars.githubusercontent.com/u/4098145?v=3","gravatar_id":"","url":"https://api.github.com/users/mauro3","html_url":"https://github.com/mauro3","followers_url":"https://api.github.com/users/mauro3/followers","following_url":"https://api.github.com/users/mauro3/following{/other_user}","gists_url":"https://api.github.com/users/mauro3/gists{/gist_id}","starred_url":"https://api.github.com/users/mauro3/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mauro3/subscriptions","organizations_url":"https://api.github.com/users/mauro3/orgs","repos_url":"https://api.github.com/users/mauro3/repos","events_url":"https://api.github.com/users/mauro3/events{/privacy}","received_events_url":"https://api.github.com/users/mauro3/received_events","type":"User","site_admin":false},"created_at":"2015-04-14T19:31:57Z","updated_at":"2015-04-14T19:31:57Z","body":"Thanks a lot!  Let me know if you find other missing bits or have other comments."}}