{"action":"created","issue":{"url":"https://api.github.com/repos/phpstan/phpstan/issues/244","repository_url":"https://api.github.com/repos/phpstan/phpstan","labels_url":"https://api.github.com/repos/phpstan/phpstan/issues/244/labels{/name}","comments_url":"https://api.github.com/repos/phpstan/phpstan/issues/244/comments","events_url":"https://api.github.com/repos/phpstan/phpstan/issues/244/events","html_url":"https://github.com/phpstan/phpstan/issues/244","id":225944439,"number":244,"title":"@property should overload type defined for property itself","user":{"login":"dosercz","id":1196632,"avatar_url":"https://avatars1.githubusercontent.com/u/1196632?v=4","gravatar_id":"","url":"https://api.github.com/users/dosercz","html_url":"https://github.com/dosercz","followers_url":"https://api.github.com/users/dosercz/followers","following_url":"https://api.github.com/users/dosercz/following{/other_user}","gists_url":"https://api.github.com/users/dosercz/gists{/gist_id}","starred_url":"https://api.github.com/users/dosercz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dosercz/subscriptions","organizations_url":"https://api.github.com/users/dosercz/orgs","repos_url":"https://api.github.com/users/dosercz/repos","events_url":"https://api.github.com/users/dosercz/events{/privacy}","received_events_url":"https://api.github.com/users/dosercz/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":3,"created_at":"2017-05-03T10:37:42Z","updated_at":"2017-08-30T18:22:32Z","closed_at":null,"author_association":"NONE","body":"It work's well e.g. in PHPStorm. Usecase: base class has defined base type for property and child classes have defined specific types for this property by @property comment:\r\n```\r\nclass Base {\r\n    /**\r\n     * @var Model\r\n     */\r\n    protected $_model;\r\n}\r\n/**\r\n * @property Model_Specific $_model\r\n */\r\nclass Specific {\r\n    ...\r\n}\r\n```\r\nphpstan doesn't detect in this case that Specific::$_model has type Model_Specific."},"comment":{"url":"https://api.github.com/repos/phpstan/phpstan/issues/comments/326076963","html_url":"https://github.com/phpstan/phpstan/issues/244#issuecomment-326076963","issue_url":"https://api.github.com/repos/phpstan/phpstan/issues/244","id":326076963,"user":{"login":"JanTvrdik","id":175109,"avatar_url":"https://avatars1.githubusercontent.com/u/175109?v=4","gravatar_id":"","url":"https://api.github.com/users/JanTvrdik","html_url":"https://github.com/JanTvrdik","followers_url":"https://api.github.com/users/JanTvrdik/followers","following_url":"https://api.github.com/users/JanTvrdik/following{/other_user}","gists_url":"https://api.github.com/users/JanTvrdik/gists{/gist_id}","starred_url":"https://api.github.com/users/JanTvrdik/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JanTvrdik/subscriptions","organizations_url":"https://api.github.com/users/JanTvrdik/orgs","repos_url":"https://api.github.com/users/JanTvrdik/repos","events_url":"https://api.github.com/users/JanTvrdik/events{/privacy}","received_events_url":"https://api.github.com/users/JanTvrdik/received_events","type":"User","site_admin":false},"created_at":"2017-08-30T18:22:32Z","updated_at":"2017-08-30T18:22:32Z","author_association":"CONTRIBUTOR","body":"Isolated as https://phpstan.org/r/66eec78a9697dbb6c9205e638a0277ae"}}
{"actor":{"display_login":"JanTvrdik"}}