You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As of now, section 8.21 "Call and property access expressions" — and subsection 8.21.2 "Callable references" specifically — both imply that left-hand-side argument of the reference operator :: can only be either a type name or an existing value. This phrasing excludes callable references to top-level entities (e.g. ::foo) and to constructors (e.g. ::Klass) which have no LHS arguments. Moreover, callable references to constructors have type names as right-hand-side arguments, the fact of which also requires additional coverage.
The text was updated successfully, but these errors were encountered:
As of now, section 8.21 "Call and property access expressions" — and subsection 8.21.2 "Callable references" specifically — both imply that left-hand-side argument of the reference operator
::
can only be either a type name or an existing value. This phrasing excludes callable references to top-level entities (e.g.::foo
) and to constructors (e.g.::Klass
) which have no LHS arguments. Moreover, callable references to constructors have type names as right-hand-side arguments, the fact of which also requires additional coverage.The text was updated successfully, but these errors were encountered: