{"action":"created","issue":{"url":"https://api.github.com/repos/scala/scala/issues/6350","repository_url":"https://api.github.com/repos/scala/scala","labels_url":"https://api.github.com/repos/scala/scala/issues/6350/labels{/name}","comments_url":"https://api.github.com/repos/scala/scala/issues/6350/comments","events_url":"https://api.github.com/repos/scala/scala/issues/6350/events","html_url":"https://github.com/scala/scala/pull/6350","id":300158993,"number":6350,"title":"scala/bug#6001. Fix error message for overriding type alias","user":{"login":"eed3si9n","id":184683,"avatar_url":"https://avatars0.githubusercontent.com/u/184683?v=4","gravatar_id":"","url":"https://api.github.com/users/eed3si9n","html_url":"https://github.com/eed3si9n","followers_url":"https://api.github.com/users/eed3si9n/followers","following_url":"https://api.github.com/users/eed3si9n/following{/other_user}","gists_url":"https://api.github.com/users/eed3si9n/gists{/gist_id}","starred_url":"https://api.github.com/users/eed3si9n/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eed3si9n/subscriptions","organizations_url":"https://api.github.com/users/eed3si9n/orgs","repos_url":"https://api.github.com/users/eed3si9n/repos","events_url":"https://api.github.com/users/eed3si9n/events{/privacy}","received_events_url":"https://api.github.com/users/eed3si9n/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/66","html_url":"https://github.com/scala/scala/milestone/66","labels_url":"https://api.github.com/repos/scala/scala/milestones/66/labels","id":2719690,"number":66,"title":"2.13.0-M4","description":"Merge to 2.13.x. Target this milestone for new development.\r\n\r\nLast milestone. Think of it as RC0. We're in feature freeze after this release.","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":53,"closed_issues":15,"state":"open","created_at":"2017-08-23T23:45:35Z","updated_at":"2018-03-02T20:56:48Z","due_on":"2018-04-30T07:00:00Z","closed_at":null},"comments":2,"created_at":"2018-02-26T09:14:44Z","updated_at":"2018-03-03T09:34:02Z","closed_at":null,"author_association":"MEMBER","pull_request":{"url":"https://api.github.com/repos/scala/scala/pulls/6350","html_url":"https://github.com/scala/scala/pull/6350","diff_url":"https://github.com/scala/scala/pull/6350.diff","patch_url":"https://github.com/scala/scala/pull/6350.patch"},"body":"Fixes https://github.com/scala/bug/issues/6001\r\n\r\nThis fixes the error message for overriding a concrete type alias.\r\n\r\n### before\r\n\r\n```scala\r\noverride-concrete-type.scala:7: error: overriding type A1 in class Foo, which equals Something;\r\n type A1 has incompatible type\r\nclass Bar extends Foo { override type A1 = Something with Serializable }\r\n                                      ^\r\none error found\r\n```\r\n\r\n### after\r\n\r\n```scala\r\noverride-concrete-type.scala:7: error: overriding type A1 in class Foo, which equals Something;\r\n overriding concrete type alias type A1 is not allowed except when equivalent\r\nclass Bar extends Foo { override type A1 = Something with Serializable }\r\n                                      ^\r\none error found\r\n```\r\n\r\nThis error message was suggested in https://github.com/scala/bug/issues/6001#issuecomment-292407825."},"comment":{"url":"https://api.github.com/repos/scala/scala/issues/comments/370134161","html_url":"https://github.com/scala/scala/pull/6350#issuecomment-370134161","issue_url":"https://api.github.com/repos/scala/scala/issues/6350","id":370134161,"user":{"login":"eed3si9n","id":184683,"avatar_url":"https://avatars0.githubusercontent.com/u/184683?v=4","gravatar_id":"","url":"https://api.github.com/users/eed3si9n","html_url":"https://github.com/eed3si9n","followers_url":"https://api.github.com/users/eed3si9n/followers","following_url":"https://api.github.com/users/eed3si9n/following{/other_user}","gists_url":"https://api.github.com/users/eed3si9n/gists{/gist_id}","starred_url":"https://api.github.com/users/eed3si9n/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/eed3si9n/subscriptions","organizations_url":"https://api.github.com/users/eed3si9n/orgs","repos_url":"https://api.github.com/users/eed3si9n/repos","events_url":"https://api.github.com/users/eed3si9n/events{/privacy}","received_events_url":"https://api.github.com/users/eed3si9n/received_events","type":"User","site_admin":false},"created_at":"2018-03-03T09:34:01Z","updated_at":"2018-03-03T09:34:01Z","author_association":"MEMBER","body":"@som-snytt \r\n\r\n> It will say \"this can be resolved\" even if it cannot?\r\n\r\nI am guessing that it's saying that you need an override with the `override` modifier, in 085a3c9 I've changed the message to:\r\n\r\n```\r\nt5358.scala:3: error: class C inherits conflicting members:\r\n  method hi in trait A of type => String and\r\n  method hi in trait B of type => String\r\n  (note: this can be resolved by declaring an `override' in class C.)\r\nclass C extends A with B\r\n      ^\r\n```\r\n"}}
{"actor":{"display_login":"eed3si9n"}}