{"action":"closed","issue":{"url":"https://api.github.com/repos/dotnet/roslyn/issues/26940","repository_url":"https://api.github.com/repos/dotnet/roslyn","labels_url":"https://api.github.com/repos/dotnet/roslyn/issues/26940/labels{/name}","comments_url":"https://api.github.com/repos/dotnet/roslyn/issues/26940/comments","events_url":"https://api.github.com/repos/dotnet/roslyn/issues/26940/events","html_url":"https://github.com/dotnet/roslyn/issues/26940","id":324106989,"node_id":"MDU6SXNzdWUzMjQxMDY5ODk=","number":26940,"title":"Type inference does not work when a single generic interface is implemented more than once","user":{"login":"impworks","id":604496,"node_id":"MDQ6VXNlcjYwNDQ5Ng==","avatar_url":"https://avatars1.githubusercontent.com/u/604496?v=4","gravatar_id":"","url":"https://api.github.com/users/impworks","html_url":"https://github.com/impworks","followers_url":"https://api.github.com/users/impworks/followers","following_url":"https://api.github.com/users/impworks/following{/other_user}","gists_url":"https://api.github.com/users/impworks/gists{/gist_id}","starred_url":"https://api.github.com/users/impworks/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/impworks/subscriptions","organizations_url":"https://api.github.com/users/impworks/orgs","repos_url":"https://api.github.com/users/impworks/repos","events_url":"https://api.github.com/users/impworks/events{/privacy}","received_events_url":"https://api.github.com/users/impworks/received_events","type":"User","site_admin":false},"labels":[{"id":166673288,"node_id":"MDU6TGFiZWwxNjY2NzMyODg=","url":"https://api.github.com/repos/dotnet/roslyn/labels/Area-Compilers","name":"Area-Compilers","color":"5319e7","default":false},{"id":180215006,"node_id":"MDU6TGFiZWwxODAyMTUwMDY=","url":"https://api.github.com/repos/dotnet/roslyn/labels/Concept-Diagnostic%20Clarity","name":"Concept-Diagnostic Clarity","color":"fef2c0","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/dotnet/roslyn/milestones/2","html_url":"https://github.com/dotnet/roslyn/milestone/2","labels_url":"https://api.github.com/repos/dotnet/roslyn/milestones/2/labels","id":937398,"node_id":"MDk6TWlsZXN0b25lOTM3Mzk4","number":2,"title":"Unknown","description":"This represents work which is not planned for a specific release.\r\n\r\n<!---\r\n@huboard:{\"order\":0.25}\n-->\r\n","creator":{"login":"jaredpar","id":146967,"node_id":"MDQ6VXNlcjE0Njk2Nw==","avatar_url":"https://avatars0.githubusercontent.com/u/146967?v=4","gravatar_id":"","url":"https://api.github.com/users/jaredpar","html_url":"https://github.com/jaredpar","followers_url":"https://api.github.com/users/jaredpar/followers","following_url":"https://api.github.com/users/jaredpar/following{/other_user}","gists_url":"https://api.github.com/users/jaredpar/gists{/gist_id}","starred_url":"https://api.github.com/users/jaredpar/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jaredpar/subscriptions","organizations_url":"https://api.github.com/users/jaredpar/orgs","repos_url":"https://api.github.com/users/jaredpar/repos","events_url":"https://api.github.com/users/jaredpar/events{/privacy}","received_events_url":"https://api.github.com/users/jaredpar/received_events","type":"User","site_admin":false},"open_issues":2568,"closed_issues":423,"state":"open","created_at":"2015-01-15T20:46:02Z","updated_at":"2018-06-01T21:32:55Z","due_on":null,"closed_at":null},"comments":3,"created_at":"2018-05-17T16:57:58Z","updated_at":"2018-06-01T21:32:55Z","closed_at":"2018-06-01T21:32:55Z","author_association":"NONE","body":"**Version Used**:\r\nC# 7.2\r\n\r\n**Steps to Reproduce**:\r\n\r\nCompile the following snippet:\r\n```\r\ninterface I<T> { }\r\nclass X<T> { }\r\nclass Y { }\r\nclass Z { }\r\nclass C : I<X<Y>>, I<Z> { }\r\npublic class P\r\n{\r\n\tstatic void M<T>(I<X<T>> i) { }\r\n\tpublic static void Main()\r\n\t{\r\n\t\tM(new C());\r\n\t}\r\n}\r\n```\r\n\r\n**Expected Behavior**:\r\n\r\nThe code compiles successfully.\r\n\r\n**Actual Behavior**:\r\n\r\nCompilation error CS0411: The type arguments for method `P.M<T>(I<X<T>>)` cannot be inferred from the usage. Try specifying the type arguments explicitly.\r\n\r\n**Suggestions**:\r\n\r\nDiscussion of this issue with Eric Lippert on StackOverflow:\r\nhttps://stackoverflow.com/questions/50390761/\r\nHe suggests two options: improving the algorithm or the error message."}}
{"actor":{"display_login":"gafter"}}