{"action":"created","issue":{"url":"https://api.github.com/repos/dotnet/corert/issues/4752","repository_url":"https://api.github.com/repos/dotnet/corert","labels_url":"https://api.github.com/repos/dotnet/corert/issues/4752/labels{/name}","comments_url":"https://api.github.com/repos/dotnet/corert/issues/4752/comments","events_url":"https://api.github.com/repos/dotnet/corert/issues/4752/events","html_url":"https://github.com/dotnet/corert/issues/4752","id":266449221,"number":4752,"title":"[ILVerify] Probably false negative in a specific case with generics","user":{"login":"prochan2","id":5324719,"avatar_url":"https://avatars0.githubusercontent.com/u/5324719?v=4","gravatar_id":"","url":"https://api.github.com/users/prochan2","html_url":"https://github.com/prochan2","followers_url":"https://api.github.com/users/prochan2/followers","following_url":"https://api.github.com/users/prochan2/following{/other_user}","gists_url":"https://api.github.com/users/prochan2/gists{/gist_id}","starred_url":"https://api.github.com/users/prochan2/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/prochan2/subscriptions","organizations_url":"https://api.github.com/users/prochan2/orgs","repos_url":"https://api.github.com/users/prochan2/repos","events_url":"https://api.github.com/users/prochan2/events{/privacy}","received_events_url":"https://api.github.com/users/prochan2/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-10-18T10:55:08Z","updated_at":"2017-10-18T11:00:36Z","closed_at":null,"author_association":"NONE","body":"For the following code, I get\r\n\r\n`Assert::AreEqual(!!0, !!0)][offset 0x0000000A][found ref 'T'][expected ref '[mscorlib]System.IEquatable´1<T>'] Unexpected type on the stack.`\r\n\r\nThe code is\r\n\r\n```\r\nusing System;\r\n\r\nnamespace ILVerifyBug\r\n{\r\n    static class Assert\r\n    {\r\n        public static bool AreEqual<T>(T a, T b) where T : IEquatable<T>\r\n        {\r\n            return a.Equals(b);\r\n        }\r\n    }\r\n}\r\n```\r\n\r\n(I have minimized it as much as possible.)"},"comment":{"url":"https://api.github.com/repos/dotnet/corert/issues/comments/337553250","html_url":"https://github.com/dotnet/corert/issues/4752#issuecomment-337553250","issue_url":"https://api.github.com/repos/dotnet/corert/issues/4752","id":337553250,"user":{"login":"prochan2","id":5324719,"avatar_url":"https://avatars0.githubusercontent.com/u/5324719?v=4","gravatar_id":"","url":"https://api.github.com/users/prochan2","html_url":"https://github.com/prochan2","followers_url":"https://api.github.com/users/prochan2/followers","following_url":"https://api.github.com/users/prochan2/following{/other_user}","gists_url":"https://api.github.com/users/prochan2/gists{/gist_id}","starred_url":"https://api.github.com/users/prochan2/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/prochan2/subscriptions","organizations_url":"https://api.github.com/users/prochan2/orgs","repos_url":"https://api.github.com/users/prochan2/repos","events_url":"https://api.github.com/users/prochan2/events{/privacy}","received_events_url":"https://api.github.com/users/prochan2/received_events","type":"User","site_admin":false},"created_at":"2017-10-18T11:00:36Z","updated_at":"2017-10-18T11:00:36Z","author_association":"NONE","body":"I can avoid this by changing the method signature to\r\n\r\n`public static bool AreEqual<T>(IEquatable<T> a, IEquatable<T> b) where T : IEquatable<T>`"}}
{"actor":{"display_login":"prochan2"}}