{"action":"created","issue":{"url":"https://api.github.com/repos/boostorg/hana/issues/397","repository_url":"https://api.github.com/repos/boostorg/hana","labels_url":"https://api.github.com/repos/boostorg/hana/issues/397/labels{/name}","comments_url":"https://api.github.com/repos/boostorg/hana/issues/397/comments","events_url":"https://api.github.com/repos/boostorg/hana/issues/397/events","html_url":"https://github.com/boostorg/hana/issues/397","id":326768762,"number":397,"title":"Documentation of Constant is inaccurate?","user":{"login":"DarthRubik","id":21115084,"avatar_url":"https://avatars3.githubusercontent.com/u/21115084?v=4","gravatar_id":"","url":"https://api.github.com/users/DarthRubik","html_url":"https://github.com/DarthRubik","followers_url":"https://api.github.com/users/DarthRubik/followers","following_url":"https://api.github.com/users/DarthRubik/following{/other_user}","gists_url":"https://api.github.com/users/DarthRubik/gists{/gist_id}","starred_url":"https://api.github.com/users/DarthRubik/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DarthRubik/subscriptions","organizations_url":"https://api.github.com/users/DarthRubik/orgs","repos_url":"https://api.github.com/users/DarthRubik/repos","events_url":"https://api.github.com/users/DarthRubik/events{/privacy}","received_events_url":"https://api.github.com/users/DarthRubik/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-05-26T21:33:34Z","updated_at":"2018-05-30T03:06:19Z","closed_at":null,"author_association":"NONE","body":"If you look at the [documentation](https://www.boost.org/doc/libs/1_67_0/libs/hana/doc/html/group__group-Constant.html) for the `Constant` concept, it says that the minimal complete definition is the `value` and `to` functions.  But if you look at the code for the `Constant` concept, it only appears to require the `value` function.\r\n\r\nSo is the documentation wrong?"},"comment":{"url":"https://api.github.com/repos/boostorg/hana/issues/comments/393015840","html_url":"https://github.com/boostorg/hana/issues/397#issuecomment-393015840","issue_url":"https://api.github.com/repos/boostorg/hana/issues/397","id":393015840,"user":{"login":"ldionne","id":700834,"avatar_url":"https://avatars3.githubusercontent.com/u/700834?v=4","gravatar_id":"","url":"https://api.github.com/users/ldionne","html_url":"https://github.com/ldionne","followers_url":"https://api.github.com/users/ldionne/followers","following_url":"https://api.github.com/users/ldionne/following{/other_user}","gists_url":"https://api.github.com/users/ldionne/gists{/gist_id}","starred_url":"https://api.github.com/users/ldionne/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ldionne/subscriptions","organizations_url":"https://api.github.com/users/ldionne/orgs","repos_url":"https://api.github.com/users/ldionne/repos","events_url":"https://api.github.com/users/ldionne/events{/privacy}","received_events_url":"https://api.github.com/users/ldionne/received_events","type":"User","site_admin":false},"created_at":"2018-05-30T03:06:19Z","updated_at":"2018-05-30T03:06:19Z","author_association":"MEMBER","body":"I believe I omitted it deliberately because it can't be checked. The requirement on `to` for a constant with tag `C` holding a value of tag `T` is that for any other `Constant` `i` whose wrapped type is Hana-convertible to `T`, `hana::to<C>(i)` is valid. But it's impossible to check that this is true for _any_ such `i`, as I would have to check them all. So instead I just don't check.\r\n\r\nI'm curious to know whether this has bitten you in the wild, or whether you were just curious.\r\n"}}
{"actor":{"display_login":"ldionne"}}