Open
Description
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.)
Metadata
Metadata
Assignees
Labels
Type
Projects
Milestone
Relationships
Development
No branches or pull requests
Activity
jensmaurer commentedon Apr 14, 2018
Sounds like we should involve LWG for that, even if just for educational purposes.
jensmaurer commentedon Apr 16, 2018
Suggestion by STL on -lib: Use
is_convertible_v<T1,T2>
, which is well-defined.jensmaurer commentedon May 24, 2018
See LWG 3105.
[-]library wording uses meaningless term "is convertible to"[/-][+]LWG 3105: library wording uses meaningless term "is convertible to"[/+]