{"action":"created","issue":{"url":"https://api.github.com/repos/ceylon/ceylon/issues/6389","repository_url":"https://api.github.com/repos/ceylon/ceylon","labels_url":"https://api.github.com/repos/ceylon/ceylon/issues/6389/labels{/name}","comments_url":"https://api.github.com/repos/ceylon/ceylon/issues/6389/comments","events_url":"https://api.github.com/repos/ceylon/ceylon/issues/6389/events","html_url":"https://github.com/ceylon/ceylon/pull/6389","id":166930967,"number":6389,"title":"Support narrowing dynamic types to subtypes","user":{"login":"lucaswerkmeister","id":2346599,"avatar_url":"https://avatars.githubusercontent.com/u/2346599?v=3","gravatar_id":"","url":"https://api.github.com/users/lucaswerkmeister","html_url":"https://github.com/lucaswerkmeister","followers_url":"https://api.github.com/users/lucaswerkmeister/followers","following_url":"https://api.github.com/users/lucaswerkmeister/following{/other_user}","gists_url":"https://api.github.com/users/lucaswerkmeister/gists{/gist_id}","starred_url":"https://api.github.com/users/lucaswerkmeister/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/lucaswerkmeister/subscriptions","organizations_url":"https://api.github.com/users/lucaswerkmeister/orgs","repos_url":"https://api.github.com/users/lucaswerkmeister/repos","events_url":"https://api.github.com/users/lucaswerkmeister/events{/privacy}","received_events_url":"https://api.github.com/users/lucaswerkmeister/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/ceylon/ceylon/labels/c-typescript","name":"c-typescript","color":"02d7e1"},{"url":"https://api.github.com/repos/ceylon/ceylon/labels/m-language","name":"m-language","color":"00aa00"},{"url":"https://api.github.com/repos/ceylon/ceylon/labels/runtime-js","name":"runtime-js","color":"0052cc"},{"url":"https://api.github.com/repos/ceylon/ceylon/labels/t-discussion","name":"t-discussion","color":"006b75"},{"url":"https://api.github.com/repos/ceylon/ceylon/labels/t-feature","name":"t-feature","color":"02e10c"},{"url":"https://api.github.com/repos/ceylon/ceylon/labels/t-improvement","name":"t-improvement","color":"006b75"}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-07-21T22:19:02Z","updated_at":"2016-07-21T22:19:03Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ceylon/ceylon/pulls/6389","html_url":"https://github.com/ceylon/ceylon/pull/6389","diff_url":"https://github.com/ceylon/ceylon/pull/6389.diff","patch_url":"https://github.com/ceylon/ceylon/pull/6389.patch"},"body":"`is$` will now attempt to redress an object with the checked type if that is a subtype of the already dressed type of the object and if both those types are dynamic. Implements #6307.\r\n\r\n(This isn’t ready for merging yet – I need to add some tests – but some manual tests suggests that the implementation is sound, and therefore ready for review :) @chochos does this look reasonable?)"},"comment":{"url":"https://api.github.com/repos/ceylon/ceylon/issues/comments/234401562","html_url":"https://github.com/ceylon/ceylon/pull/6389#issuecomment-234401562","issue_url":"https://api.github.com/repos/ceylon/ceylon/issues/6389","id":234401562,"user":{"login":"CeylonBuildBot","id":16718644,"avatar_url":"https://avatars.githubusercontent.com/u/16718644?v=3","gravatar_id":"","url":"https://api.github.com/users/CeylonBuildBot","html_url":"https://github.com/CeylonBuildBot","followers_url":"https://api.github.com/users/CeylonBuildBot/followers","following_url":"https://api.github.com/users/CeylonBuildBot/following{/other_user}","gists_url":"https://api.github.com/users/CeylonBuildBot/gists{/gist_id}","starred_url":"https://api.github.com/users/CeylonBuildBot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CeylonBuildBot/subscriptions","organizations_url":"https://api.github.com/users/CeylonBuildBot/orgs","repos_url":"https://api.github.com/users/CeylonBuildBot/repos","events_url":"https://api.github.com/users/CeylonBuildBot/events{/privacy}","received_events_url":"https://api.github.com/users/CeylonBuildBot/received_events","type":"User","site_admin":false},"created_at":"2016-07-21T22:19:03Z","updated_at":"2016-07-21T22:19:03Z","body":"Can one of the admins verify this patch? ([see README](https://github.com/jenkinsci/ghprb-plugin/blob/master/README.md))"}}
{"actor":{"display_login":"CeylonBuildBot"}}