{"action":"opened","issue":{"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/issues/27","repository_url":"https://api.github.com/repos/DatenMetzgerX/ESChecker","labels_url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/issues/27/labels{/name}","comments_url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/issues/27/comments","events_url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/issues/27/events","html_url":"https://github.com/DatenMetzgerX/ESChecker/issues/27","id":146029376,"number":27,"title":"Error Reporting for Type Inference","user":{"login":"DatenMetzgerX","id":1203881,"avatar_url":"https://avatars.githubusercontent.com/u/1203881?v=3","gravatar_id":"","url":"https://api.github.com/users/DatenMetzgerX","html_url":"https://github.com/DatenMetzgerX","followers_url":"https://api.github.com/users/DatenMetzgerX/followers","following_url":"https://api.github.com/users/DatenMetzgerX/following{/other_user}","gists_url":"https://api.github.com/users/DatenMetzgerX/gists{/gist_id}","starred_url":"https://api.github.com/users/DatenMetzgerX/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DatenMetzgerX/subscriptions","organizations_url":"https://api.github.com/users/DatenMetzgerX/orgs","repos_url":"https://api.github.com/users/DatenMetzgerX/repos","events_url":"https://api.github.com/users/DatenMetzgerX/events{/privacy}","received_events_url":"https://api.github.com/users/DatenMetzgerX/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/labels/enhancement","name":"enhancement","color":"84b6eb"},{"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/labels/type-inference","name":"type-inference","color":"0052cc"}],"state":"open","locked":false,"assignee":null,"milestone":{"url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/milestones/1","html_url":"https://github.com/DatenMetzgerX/ESChecker/milestones/Type%20Inference","labels_url":"https://api.github.com/repos/DatenMetzgerX/ESChecker/milestones/1/labels","id":1682564,"number":1,"title":"Type Inference","description":"","creator":{"login":"DatenMetzgerX","id":1203881,"avatar_url":"https://avatars.githubusercontent.com/u/1203881?v=3","gravatar_id":"","url":"https://api.github.com/users/DatenMetzgerX","html_url":"https://github.com/DatenMetzgerX","followers_url":"https://api.github.com/users/DatenMetzgerX/followers","following_url":"https://api.github.com/users/DatenMetzgerX/following{/other_user}","gists_url":"https://api.github.com/users/DatenMetzgerX/gists{/gist_id}","starred_url":"https://api.github.com/users/DatenMetzgerX/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DatenMetzgerX/subscriptions","organizations_url":"https://api.github.com/users/DatenMetzgerX/orgs","repos_url":"https://api.github.com/users/DatenMetzgerX/repos","events_url":"https://api.github.com/users/DatenMetzgerX/events{/privacy}","received_events_url":"https://api.github.com/users/DatenMetzgerX/received_events","type":"User","site_admin":false},"open_issues":4,"closed_issues":0,"state":"open","created_at":"2016-04-04T17:11:33Z","updated_at":"2016-04-05T15:46:36Z","due_on":null,"closed_at":null},"comments":0,"created_at":"2016-04-05T15:46:36Z","updated_at":"2016-04-05T15:46:36Z","closed_at":null,"body":"Instead of throwing an exception if unification fails or for soft failures during refinement (e.g. not when something is not implemented, but potentially nullpointer) add an error object to the context and collect all errors. \r\n\r\nThis means some assumptions are required when unification has failed. To reduce follow up errors, return Any in case the unification has failed."}}