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.

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

"Adjusted call operand" needs a definition #465

Open
mattheww opened this issue Nov 5, 2023 · 0 comments
Open

"Adjusted call operand" needs a definition #465

mattheww opened this issue Nov 5, 2023 · 0 comments

Comments

@mattheww
Copy link
Contributor

mattheww commented Nov 5, 2023

§6.12.1:8 (fls_7p6zrjbpj0kl) and §6.12.1:15 (fls_ggr5i91vur0r) describe the process of evaluating a call expression using the notion of an "adjusted call operand".

The glossary only says "An adjusted call operand is a call operand with possible auto dereferencing adjustments." The term "auto dereferencing adjustments" is not defined.

Something needs to describe the runtime behaviour of auto-deferencing, parallel to the description of the compile-time behaviour in §14.9.3 (fls_ZjJ7y9r6QQMW).

That is, something needs to say that deref or * is applied in sequence to a chain of values, corresponding to the chain of types described in §14.9.3 .

Further, depending on how "adjusted call operand" ends up being defined, the text might need to read call(&adjusted_call_operand … and call_mut(&mut adjusted_call_operand … rather than call(adjusted_call_operand … and call_mut(adjusted_call_operand ….

@Veykril Veykril assigned Veykril and unassigned Veykril Nov 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants