{"action":"closed","issue":{"url":"https://api.github.com/repos/ceylon/ceylon/issues/5769","labels_url":"https://api.github.com/repos/ceylon/ceylon/issues/5769/labels{/name}","comments_url":"https://api.github.com/repos/ceylon/ceylon/issues/5769/comments","events_url":"https://api.github.com/repos/ceylon/ceylon/issues/5769/events","html_url":"https://github.com/ceylon/ceylon/issues/5769","id":119110406,"number":5769,"title":"Specification example uses unsupported satisfies cases","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":[],"state":"closed","locked":false,"assignee":{"login":"gavinking","id":579974,"avatar_url":"https://avatars.githubusercontent.com/u/579974?v=3","gravatar_id":"","url":"https://api.github.com/users/gavinking","html_url":"https://github.com/gavinking","followers_url":"https://api.github.com/users/gavinking/followers","following_url":"https://api.github.com/users/gavinking/following{/other_user}","gists_url":"https://api.github.com/users/gavinking/gists{/gist_id}","starred_url":"https://api.github.com/users/gavinking/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gavinking/subscriptions","organizations_url":"https://api.github.com/users/gavinking/orgs","repos_url":"https://api.github.com/users/gavinking/repos","events_url":"https://api.github.com/users/gavinking/events{/privacy}","received_events_url":"https://api.github.com/users/gavinking/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/ceylon/ceylon/milestones/4","html_url":"https://github.com/ceylon/ceylon/milestones/1.2.1","labels_url":"https://api.github.com/repos/ceylon/ceylon/milestones/4/labels","id":1411355,"number":4,"title":"1.2.1","description":null,"creator":{"login":"CeylonMigrationBot","id":6583436,"avatar_url":"https://avatars.githubusercontent.com/u/6583436?v=3","gravatar_id":"","url":"https://api.github.com/users/CeylonMigrationBot","html_url":"https://github.com/CeylonMigrationBot","followers_url":"https://api.github.com/users/CeylonMigrationBot/followers","following_url":"https://api.github.com/users/CeylonMigrationBot/following{/other_user}","gists_url":"https://api.github.com/users/CeylonMigrationBot/gists{/gist_id}","starred_url":"https://api.github.com/users/CeylonMigrationBot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/CeylonMigrationBot/subscriptions","organizations_url":"https://api.github.com/users/CeylonMigrationBot/orgs","repos_url":"https://api.github.com/users/CeylonMigrationBot/repos","events_url":"https://api.github.com/users/CeylonMigrationBot/events{/privacy}","received_events_url":"https://api.github.com/users/CeylonMigrationBot/received_events","type":"User","site_admin":false},"open_issues":51,"closed_issues":22,"state":"open","created_at":"2015-11-14T01:13:19Z","updated_at":"2015-11-27T15:36:47Z","due_on":"2015-12-30T23:00:00Z","closed_at":null},"comments":0,"created_at":"2015-11-26T23:32:57Z","updated_at":"2015-11-27T15:36:47Z","closed_at":"2015-11-27T15:36:47Z","body":"§3.5.3 contains this example:\r\n```ceylon\r\nCharacters uppercase<Characters>(Characters chars) \r\n       given Characters of String | Range<Character> { \r\n    switch (Characters)\r\n    case (satisfies String) { \r\n        return chars.uppercased;\r\n    }\r\n    case (satisfies Range<Character>) { \r\n        return chars.first.uppercased..chars.last.uppercased;\r\n    }\r\n}\r\n```\r\nBut as the compiler will tell you, `satisfies` cases aren’t actually supported currently:\r\n> Satisfies cases are not yet supported\r\n> *(along with some other error messages)*\r\n\r\nThis example should either be prefixed by a disclaimer à la “we’d like to support something like this in the future”, or be replaced by one that actually works. To demonstrate the preceding sentence\r\n\r\n> An enumerated bound allows the use of an exhaustive switch with expressions of the parameter type.\r\n\r\nthe example should probably switch on `chars` instead, with cases for `is String` and `is Range<Character>`."}}