{"action":"closed","issue":{"url":"https://api.github.com/repos/milessabin/export-hook/issues/18","labels_url":"https://api.github.com/repos/milessabin/export-hook/issues/18/labels{/name}","comments_url":"https://api.github.com/repos/milessabin/export-hook/issues/18/comments","events_url":"https://api.github.com/repos/milessabin/export-hook/issues/18/events","html_url":"https://github.com/milessabin/export-hook/issues/18","id":118310997,"number":18,"title":"Unsupported Kind","user":{"login":"wheaties","id":515577,"avatar_url":"https://avatars.githubusercontent.com/u/515577?v=3","gravatar_id":"","url":"https://api.github.com/users/wheaties","html_url":"https://github.com/wheaties","followers_url":"https://api.github.com/users/wheaties/followers","following_url":"https://api.github.com/users/wheaties/following{/other_user}","gists_url":"https://api.github.com/users/wheaties/gists{/gist_id}","starred_url":"https://api.github.com/users/wheaties/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wheaties/subscriptions","organizations_url":"https://api.github.com/users/wheaties/orgs","repos_url":"https://api.github.com/users/wheaties/repos","events_url":"https://api.github.com/users/wheaties/events{/privacy}","received_events_url":"https://api.github.com/users/wheaties/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/milessabin/export-hook/labels/Feature","name":"Feature","color":"5319e7"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-11-23T02:53:24Z","updated_at":"2015-11-27T17:46:11Z","closed_at":"2015-11-27T17:46:10Z","body":"Using 1.10 with 2.11.7, combining a higher-kinded type with a regular type gives the following issue with `@exports`:\r\n\r\n```scala\r\nimport export._\r\n\r\ntrait Food[F[_], A]\r\n\r\nobject Food extends LowPriorityFood\r\n\r\n@imports[Food]\r\ntrait LowPriorityFood\r\n\r\ntrait BarFood[M[_], A] extends Food[M, A]\r\n\r\n@exports(Subclass)\r\nobject BarFood{\r\n\r\n\t@export(Subclass)\r\n\timplicit def bar[M[_]] = new BarFood[M, Int]{}\r\n}\r\n```\r\n\r\n```\r\n[error] /Users/oreese/Workspace/playground/lala.scala:9: Food has an unsupported kind\r\n[error] @imports[Food]\r\n[error]  ^\r\n[error] /Users/oreese/Workspace/playground/lala.scala:14: BarFood has an unsupported kind\r\n[error] @exports(Subclass)\r\n[error]  ^\r\n[error] two errors found\r\n```\r\n\r\nDue note, you remove the regular type and it compiles just fine."}}