{"action":"created","issue":{"url":"https://api.github.com/repos/scala/scala/issues/5337","repository_url":"https://api.github.com/repos/scala/scala","labels_url":"https://api.github.com/repos/scala/scala/issues/5337/labels{/name}","comments_url":"https://api.github.com/repos/scala/scala/issues/5337/comments","events_url":"https://api.github.com/repos/scala/scala/issues/5337/events","html_url":"https://github.com/scala/scala/pull/5337","id":171015064,"number":5337,"title":"SI-9717 Implicit class parameters in block in super class","user":{"login":"diesalbla","id":1764610,"avatar_url":"https://avatars.githubusercontent.com/u/1764610?v=3","gravatar_id":"","url":"https://api.github.com/users/diesalbla","html_url":"https://github.com/diesalbla","followers_url":"https://api.github.com/users/diesalbla/followers","following_url":"https://api.github.com/users/diesalbla/following{/other_user}","gists_url":"https://api.github.com/users/diesalbla/gists{/gist_id}","starred_url":"https://api.github.com/users/diesalbla/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/diesalbla/subscriptions","organizations_url":"https://api.github.com/users/diesalbla/orgs","repos_url":"https://api.github.com/users/diesalbla/repos","events_url":"https://api.github.com/users/diesalbla/events{/privacy}","received_events_url":"https://api.github.com/users/diesalbla/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"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":"Merge to 2.12.x.","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":22,"closed_issues":8,"state":"open","created_at":"2016-06-21T15:54:47Z","updated_at":"2016-08-14T07:59:11Z","due_on":"2016-11-07T08:00:00Z","closed_at":null},"comments":4,"created_at":"2016-08-13T16:04:48Z","updated_at":"2016-08-14T15:48:02Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/scala/scala/pulls/5337","html_url":"https://github.com/scala/scala/pull/5337","diff_url":"https://github.com/scala/scala/pull/5337.diff","patch_url":"https://github.com/scala/scala/pull/5337.patch"},"body":"This is a WIP PR for discussion and advice, which addresses [Scala Issue 9717](https://issues.scala-lang.org/browse/SI-9717). \r\n\r\nThe issue was that, when using a _block_ expressions as arguments in the call to the super-class constructor, any `implicit` parameter of the class was not visible within that block expression.\r\nWe add a `pos`  test file, that highlights the existing error. Note that, when using the implicit parameter _without_ the block, it was compiling fine. \r\n\r\nWe have traced the issue back to the implicit resolution method. Here, there is an auxiliary method `nextOuter`, which is used when climbing up the context hierarchy, to skip some intermediate contexts. We guess that this was done as an optimization of implifit search, which may have unintentionally broken the semantics. Disabling this context filtering fixes the problem, so the compiler can now handle the positive test.\r\n\r\nWe do not know if this change could have a detrimental impact on compiler performance. Advice on this issues would be welcome.\r\n\r\nThis was done with the help of @ausmarton,  @flowcont, and @milessabin."},"comment":{"url":"https://api.github.com/repos/scala/scala/issues/comments/239680601","html_url":"https://github.com/scala/scala/pull/5337#issuecomment-239680601","issue_url":"https://api.github.com/repos/scala/scala/issues/5337","id":239680601,"user":{"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},"created_at":"2016-08-14T15:48:02Z","updated_at":"2016-08-14T15:48:02Z","body":"Also, no need for the rebuild command when you change your PR -- the automation will do this automatically."}}
{"actor":{"display_login":"adriaanm"}}