{"action":"created","issue":{"url":"https://api.github.com/repos/scala/scala/issues/5238","repository_url":"https://api.github.com/repos/scala/scala","labels_url":"https://api.github.com/repos/scala/scala/issues/5238/labels{/name}","comments_url":"https://api.github.com/repos/scala/scala/issues/5238/comments","events_url":"https://api.github.com/repos/scala/scala/issues/5238/events","html_url":"https://github.com/scala/scala/pull/5238","id":161267031,"number":5238,"title":"SI-5712 Support dependent argument types for constructor parameter lists","user":{"login":"hamishdickson","id":5042218,"avatar_url":"https://avatars.githubusercontent.com/u/5042218?v=3","gravatar_id":"","url":"https://api.github.com/users/hamishdickson","html_url":"https://github.com/hamishdickson","followers_url":"https://api.github.com/users/hamishdickson/followers","following_url":"https://api.github.com/users/hamishdickson/following{/other_user}","gists_url":"https://api.github.com/users/hamishdickson/gists{/gist_id}","starred_url":"https://api.github.com/users/hamishdickson/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hamishdickson/subscriptions","organizations_url":"https://api.github.com/users/hamishdickson/orgs","repos_url":"https://api.github.com/users/hamishdickson/repos","events_url":"https://api.github.com/users/hamishdickson/events{/privacy}","received_events_url":"https://api.github.com/users/hamishdickson/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/scala/scala/milestones/55","html_url":"https://github.com/scala/scala/milestones/2.12.1","labels_url":"https://api.github.com/repos/scala/scala/milestones/55/labels","id":1840949,"number":55,"title":"2.12.1","description":null,"creator":{"login":"adriaanm","id":91083,"avatar_url":"https://avatars.githubusercontent.com/u/91083?v=3","gravatar_id":"","url":"https://api.github.com/users/adriaanm","html_url":"https://github.com/adriaanm","followers_url":"https://api.github.com/users/adriaanm/followers","following_url":"https://api.github.com/users/adriaanm/following{/other_user}","gists_url":"https://api.github.com/users/adriaanm/gists{/gist_id}","starred_url":"https://api.github.com/users/adriaanm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/adriaanm/subscriptions","organizations_url":"https://api.github.com/users/adriaanm/orgs","repos_url":"https://api.github.com/users/adriaanm/repos","events_url":"https://api.github.com/users/adriaanm/events{/privacy}","received_events_url":"https://api.github.com/users/adriaanm/received_events","type":"User","site_admin":false},"open_issues":1,"closed_issues":0,"state":"open","created_at":"2016-06-21T15:54:47Z","updated_at":"2016-06-21T15:54:47Z","due_on":null,"closed_at":null},"comments":14,"created_at":"2016-06-20T18:51:20Z","updated_at":"2016-06-23T15:11:00Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/scala/scala/pulls/5238","html_url":"https://github.com/scala/scala/pull/5238","diff_url":"https://github.com/scala/scala/pull/5238.diff","patch_url":"https://github.com/scala/scala/pull/5238.patch"},"body":"Issue details can be found at https://issues.scala-lang.org/browse/SI-5712\r\n\r\nImplementation as per @adriaanm 's comment in the ticket. From reading the comments and the surrounding code, this looks like the correct solution to me (unless I've misunderstood something)"},"comment":{"url":"https://api.github.com/repos/scala/scala/issues/comments/228081640","html_url":"https://github.com/scala/scala/pull/5238#issuecomment-228081640","issue_url":"https://api.github.com/repos/scala/scala/issues/5238","id":228081640,"user":{"login":"paulp","id":9135,"avatar_url":"https://avatars.githubusercontent.com/u/9135?v=3","gravatar_id":"","url":"https://api.github.com/users/paulp","html_url":"https://github.com/paulp","followers_url":"https://api.github.com/users/paulp/followers","following_url":"https://api.github.com/users/paulp/following{/other_user}","gists_url":"https://api.github.com/users/paulp/gists{/gist_id}","starred_url":"https://api.github.com/users/paulp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/paulp/subscriptions","organizations_url":"https://api.github.com/users/paulp/orgs","repos_url":"https://api.github.com/users/paulp/repos","events_url":"https://api.github.com/users/paulp/events{/privacy}","received_events_url":"https://api.github.com/users/paulp/received_events","type":"User","site_admin":false},"created_at":"2016-06-23T15:11:00Z","updated_at":"2016-06-23T15:11:00Z","body":"I've heard good things about Err-Oh types."}}
{"actor":{"display_login":"paulp"}}