Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

LWG 3105: library wording uses meaningless term "is convertible to" #2029

Open
zygoloid opened this issue Apr 14, 2018 · 3 comments
Open

LWG 3105: library wording uses meaningless term "is convertible to" #2029

zygoloid opened this issue Apr 14, 2018 · 3 comments
Labels
lwg Issue must be reviewed by LWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking.

Comments

@zygoloid
Copy link
Member

Presumably when the library says "is convertible to" it means "is implicitly convertible to"? We should fix up all 40 instances of "is convertible to" in the library wording to say what they mean. (The library uses the form "T1 is convertible to T2", which is also wrong: expressions are / are not implicitly convertible to types, but it's not meaningful to convert one type to another type.)
@zygoloid zygoloid mentioned this issue Apr 14, 2018
Merged
@jensmaurer
Copy link
Member

Sounds like we should involve LWG for that, even if just for educational purposes.

@jensmaurer jensmaurer added this to the C++20 milestone Apr 14, 2018
@jensmaurer jensmaurer added the lwg Issue must be reviewed by LWG. label Apr 16, 2018
@jensmaurer
Copy link
Member

Suggestion by STL on -lib: Use is_convertible_v<T1,T2>, which is well-defined.

@jensmaurer jensmaurer removed this from the C++20 milestone May 24, 2018
@jensmaurer
Copy link
Member

See LWG 3105.

@jensmaurer jensmaurer added the not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking. label May 24, 2018
@jensmaurer jensmaurer changed the title library wording uses meaningless term "is convertible to" LWG 3105: library wording uses meaningless term "is convertible to" Sep 5, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
lwg Issue must be reviewed by LWG. not-editorial Issue is not deemed editorial; the editorial issue is kept open for tracking.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@zygoloid @jensmaurer