{"action":"created","issue":{"url":"https://api.github.com/repos/gkossakowski/kentuckymule/issues/5","repository_url":"https://api.github.com/repos/gkossakowski/kentuckymule","labels_url":"https://api.github.com/repos/gkossakowski/kentuckymule/issues/5/labels{/name}","comments_url":"https://api.github.com/repos/gkossakowski/kentuckymule/issues/5/comments","events_url":"https://api.github.com/repos/gkossakowski/kentuckymule/issues/5/events","html_url":"https://github.com/gkossakowski/kentuckymule/issues/5","id":197267755,"number":5,"title":"Explicitly disallow importing an identifier whose type needs to be inferred","user":{"login":"smarter","id":63430,"avatar_url":"https://avatars.githubusercontent.com/u/63430?v=3","gravatar_id":"","url":"https://api.github.com/users/smarter","html_url":"https://github.com/smarter","followers_url":"https://api.github.com/users/smarter/followers","following_url":"https://api.github.com/users/smarter/following{/other_user}","gists_url":"https://api.github.com/users/smarter/gists{/gist_id}","starred_url":"https://api.github.com/users/smarter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smarter/subscriptions","organizations_url":"https://api.github.com/users/smarter/orgs","repos_url":"https://api.github.com/users/smarter/repos","events_url":"https://api.github.com/users/smarter/events{/privacy}","received_events_url":"https://api.github.com/users/smarter/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-12-22T21:14:14Z","updated_at":"2016-12-26T11:46:53Z","closed_at":null,"body":"The following code:\r\n```scala\r\nclass Hi {\r\n  class A\r\n}\r\n\r\nclass Foo {\r\n  val x = new Hi\r\n  import x._\r\n  def bar: A = new A\r\n}\r\n```\r\nfails with:\r\n```scala\r\njava.lang.RuntimeException: Can't resolve selector Ident(A)\r\n```\r\n\r\nIt seems that either importing from something with type `InferredTypeMarker` should be disallowed or that everything in scope after such an import should get type `InferredTypeMarker`."},"comment":{"url":"https://api.github.com/repos/gkossakowski/kentuckymule/issues/comments/269203896","html_url":"https://github.com/gkossakowski/kentuckymule/issues/5#issuecomment-269203896","issue_url":"https://api.github.com/repos/gkossakowski/kentuckymule/issues/5","id":269203896,"user":{"login":"smarter","id":63430,"avatar_url":"https://avatars.githubusercontent.com/u/63430?v=3","gravatar_id":"","url":"https://api.github.com/users/smarter","html_url":"https://github.com/smarter","followers_url":"https://api.github.com/users/smarter/followers","following_url":"https://api.github.com/users/smarter/following{/other_user}","gists_url":"https://api.github.com/users/smarter/gists{/gist_id}","starred_url":"https://api.github.com/users/smarter/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smarter/subscriptions","organizations_url":"https://api.github.com/users/smarter/orgs","repos_url":"https://api.github.com/users/smarter/repos","events_url":"https://api.github.com/users/smarter/events{/privacy}","received_events_url":"https://api.github.com/users/smarter/received_events","type":"User","site_admin":false},"created_at":"2016-12-26T11:46:53Z","updated_at":"2016-12-26T11:46:53Z","body":"> I'm pretty sure Scala users would be willing to give up on inferred types connivence in some cases (in paths and in imports) if they were promised 10x compiler speed upgrade in return.\r\n\r\nI agree, just thought that this needed to be clarified :)"}}
{"actor":{"display_login":"smarter"}}