{"action":"created","issue":{"url":"https://api.github.com/repos/scala/bug/issues/10619","repository_url":"https://api.github.com/repos/scala/bug","labels_url":"https://api.github.com/repos/scala/bug/issues/10619/labels{/name}","comments_url":"https://api.github.com/repos/scala/bug/issues/10619/comments","events_url":"https://api.github.com/repos/scala/bug/issues/10619/events","html_url":"https://github.com/scala/bug/issues/10619","id":275748324,"number":10619,"title":"2.12.4 regression: the compiler fails to reject unstable paths in types","user":{"login":"sjrd","id":535934,"avatar_url":"https://avatars3.githubusercontent.com/u/535934?v=4","gravatar_id":"","url":"https://api.github.com/users/sjrd","html_url":"https://github.com/sjrd","followers_url":"https://api.github.com/users/sjrd/followers","following_url":"https://api.github.com/users/sjrd/following{/other_user}","gists_url":"https://api.github.com/users/sjrd/gists{/gist_id}","starred_url":"https://api.github.com/users/sjrd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sjrd/subscriptions","organizations_url":"https://api.github.com/users/sjrd/orgs","repos_url":"https://api.github.com/users/sjrd/repos","events_url":"https://api.github.com/users/sjrd/events{/privacy}","received_events_url":"https://api.github.com/users/sjrd/received_events","type":"User","site_admin":false},"labels":[{"id":578311323,"url":"https://api.github.com/repos/scala/bug/labels/blocker","name":"blocker","color":"b60205","default":false},{"id":578311302,"url":"https://api.github.com/repos/scala/bug/labels/regression","name":"regression","color":"d93f0b","default":false},{"id":578311272,"url":"https://api.github.com/repos/scala/bug/labels/should-not-compile","name":"should-not-compile","color":"b60205","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/scala/bug/milestones/89","html_url":"https://github.com/scala/bug/milestone/89","labels_url":"https://api.github.com/repos/scala/bug/milestones/89/labels","id":2828791,"number":89,"title":"2.12.5","description":"","creator":{"login":"adriaanm","id":91083,"avatar_url":"https://avatars2.githubusercontent.com/u/91083?v=4","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":31,"closed_issues":4,"state":"open","created_at":"2017-10-10T21:50:45Z","updated_at":"2017-11-29T00:22:12Z","due_on":"2018-03-02T08:00:00Z","closed_at":null},"comments":25,"created_at":"2017-11-21T15:15:19Z","updated_at":"2017-11-30T13:34:03Z","closed_at":null,"author_association":"MEMBER","body":"With 2.12.3, and any other published version of Scala (incl. 2.11.12 and 2.13.0-M2):\r\n```scala\r\n$ ~/opt/scala-2.12.3/bin/scala\r\nWelcome to Scala 2.12.3 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_40).\r\nType in expressions for evaluation. Or try :help.\r\n\r\nscala> class Outer { class Inner }\r\ndefined class Outer\r\n\r\nscala> def newOuter = new Outer\r\nnewOuter: Outer\r\n\r\nscala> identity[newOuter.Inner] _\r\n<console>:13: error: stable identifier required, but newOuter found.\r\n       identity[newOuter.Inner] _\r\n                ^\r\n\r\nscala> val x: newOuter.Inner = ???\r\n<console>:12: error: stable identifier required, but newOuter found.\r\n       val x: newOuter.Inner = ???\r\n```\r\nwhich is the correct behavior.\r\n\r\nWith 2.12.4:\r\n```scala\r\n$ ~/opt/scala-2.12.4/bin/scala\r\nWelcome to Scala 2.12.4 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_40).\r\nType in expressions for evaluation. Or try :help.\r\n\r\nscala> class Outer { class Inner }\r\ndefined class Outer\r\n\r\nscala> def newOuter = new Outer\r\nnewOuter: Outer\r\n\r\nscala> identity[newOuter.Inner] _\r\nres0: Outer#Inner => Outer#Inner = $$Lambda$1060/2027587999@e7b265e\r\n\r\nscala> val x: newOuter.Inner = ???\r\nscala.NotImplementedError: an implementation is missing\r\n  at scala.Predef$.$qmark$qmark$qmark(Predef.scala:284)\r\n  ... 29 elided\r\n```\r\nwhich is bogus."},"comment":{"url":"https://api.github.com/repos/scala/bug/issues/comments/348189072","html_url":"https://github.com/scala/bug/issues/10619#issuecomment-348189072","issue_url":"https://api.github.com/repos/scala/bug/issues/10619","id":348189072,"user":{"login":"sjrd","id":535934,"avatar_url":"https://avatars3.githubusercontent.com/u/535934?v=4","gravatar_id":"","url":"https://api.github.com/users/sjrd","html_url":"https://github.com/sjrd","followers_url":"https://api.github.com/users/sjrd/followers","following_url":"https://api.github.com/users/sjrd/following{/other_user}","gists_url":"https://api.github.com/users/sjrd/gists{/gist_id}","starred_url":"https://api.github.com/users/sjrd/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sjrd/subscriptions","organizations_url":"https://api.github.com/users/sjrd/orgs","repos_url":"https://api.github.com/users/sjrd/repos","events_url":"https://api.github.com/users/sjrd/events{/privacy}","received_events_url":"https://api.github.com/users/sjrd/received_events","type":"User","site_admin":false},"created_at":"2017-11-30T13:34:03Z","updated_at":"2017-11-30T13:34:03Z","author_association":"MEMBER","body":"https://github.com/lampepfl/dotty/issues/50#issuecomment-177341557\r\n\r\nReplace the `???` in the `lazy val` by a non-terminating term, and you get the same problem: https://scastie.scala-lang.org/sjrd/w0lGqwvcT5yIdxfdHW9wJw"}}
{"actor":{"display_login":"sjrd"}}