{"action":"opened","issue":{"url":"https://api.github.com/repos/vimeo/psalm/issues/658","repository_url":"https://api.github.com/repos/vimeo/psalm","labels_url":"https://api.github.com/repos/vimeo/psalm/issues/658/labels{/name}","comments_url":"https://api.github.com/repos/vimeo/psalm/issues/658/comments","events_url":"https://api.github.com/repos/vimeo/psalm/issues/658/events","html_url":"https://github.com/vimeo/psalm/issues/658","id":312495500,"number":658,"title":"`empty()` return type is discarded","user":{"login":"weirdan","id":57403,"avatar_url":"https://avatars3.githubusercontent.com/u/57403?v=4","gravatar_id":"","url":"https://api.github.com/users/weirdan","html_url":"https://github.com/weirdan","followers_url":"https://api.github.com/users/weirdan/followers","following_url":"https://api.github.com/users/weirdan/following{/other_user}","gists_url":"https://api.github.com/users/weirdan/gists{/gist_id}","starred_url":"https://api.github.com/users/weirdan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/weirdan/subscriptions","organizations_url":"https://api.github.com/users/weirdan/orgs","repos_url":"https://api.github.com/users/weirdan/repos","events_url":"https://api.github.com/users/weirdan/events{/privacy}","received_events_url":"https://api.github.com/users/weirdan/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-04-09T11:34:51Z","updated_at":"2018-04-09T11:34:51Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"```php\r\n<?php\r\n\r\nfunction takesBool(bool $p): void {}\r\ntakesBool(empty($q));\r\n```\r\nFails with \r\n```\r\nERROR: MixedArgument - q.php:5:11 - Argument 1 of takesBool cannot be mixed, expecting bool\r\ntakesBool(empty($q));\r\n```\r\nBut `empty` is defined as:\r\n```\r\n'empty' => ['bool', 'var'=>'mixed'],\r\n```"}}
{"actor":{"display_login":"weirdan"}}