{"comment":{"url":"https://api.github.com/repos/nikomatsakis/rust/comments/10697889","html_url":"https://github.com/nikomatsakis/rust/commit/3f310aeaa954e77a50b9b8773c6a0e1708462162#commitcomment-10697889","id":10697889,"user":{"login":"nikomatsakis","id":155238,"avatar_url":"https://avatars.githubusercontent.com/u/155238?v=3","gravatar_id":"","url":"https://api.github.com/users/nikomatsakis","html_url":"https://github.com/nikomatsakis","followers_url":"https://api.github.com/users/nikomatsakis/followers","following_url":"https://api.github.com/users/nikomatsakis/following{/other_user}","gists_url":"https://api.github.com/users/nikomatsakis/gists{/gist_id}","starred_url":"https://api.github.com/users/nikomatsakis/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nikomatsakis/subscriptions","organizations_url":"https://api.github.com/users/nikomatsakis/orgs","repos_url":"https://api.github.com/users/nikomatsakis/repos","events_url":"https://api.github.com/users/nikomatsakis/events{/privacy}","received_events_url":"https://api.github.com/users/nikomatsakis/received_events","type":"User","site_admin":false},"position":99,"line":363,"path":"src/librustc/middle/ty.rs","commit_id":"3f310aeaa954e77a50b9b8773c6a0e1708462162","created_at":"2015-04-13T17:56:58Z","updated_at":"2015-04-13T17:56:58Z","body":"as above, I think that's actually not the case -- neither logically nor in actuality. "}}