{"action":"opened","issue":{"url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/59","repository_url":"https://api.github.com/repos/Microsoft/checkedc-clang","labels_url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/59/labels{/name}","comments_url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/59/comments","events_url":"https://api.github.com/repos/Microsoft/checkedc-clang/issues/59/events","html_url":"https://github.com/Microsoft/checkedc-clang/issues/59","id":178968317,"number":59,"title":"Take the LUB of constraints when multiple constraints exist and they might differ","user":{"login":"awruef","id":2530731,"avatar_url":"https://avatars.githubusercontent.com/u/2530731?v=3","gravatar_id":"","url":"https://api.github.com/users/awruef","html_url":"https://github.com/awruef","followers_url":"https://api.github.com/users/awruef/followers","following_url":"https://api.github.com/users/awruef/following{/other_user}","gists_url":"https://api.github.com/users/awruef/gists{/gist_id}","starred_url":"https://api.github.com/users/awruef/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/awruef/subscriptions","organizations_url":"https://api.github.com/users/awruef/orgs","repos_url":"https://api.github.com/users/awruef/repos","events_url":"https://api.github.com/users/awruef/events{/privacy}","received_events_url":"https://api.github.com/users/awruef/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-09-23T20:37:40Z","updated_at":"2016-09-23T20:37:40Z","closed_at":null,"body":"In `FunctionVariableConstraint::mkString` we take the first constraint in a set for the return and parameters and use them. Right now this should be okay because they should all be constrained to be equal, so whatever one is resolved to should be the same as the others. However, maybe in the future that won't be true, so we should instead be more generic and take the LUB of all the `ConstraintVariables` in the set. "}}
{"actor":{"display_login":"awruef"}}