Skip to content

Give ambient authority arguments names. - #298

Merged
sunfishcode merged 1 commit into
mainfrom
sunfishcode/ambient-authority-arg-names
Mar 15, 2023
Merged

Give ambient authority arguments names.#298
sunfishcode merged 1 commit into
mainfrom
sunfishcode/ambient-authority-arg-names

Conversation

@sunfishcode

Copy link
Copy Markdown
Member

Use let _ = ambient_authority; to suppress unused argument warnings rather than naming arguments _, because argument names show up in the documentation, and the fact that these arguments are unused is not part of the public interface.

Use `let _ = ambient_authority;` to suppress unused argument warnings
rather than naming arguments `_`, because argument names show up in the
documentation, and the fact that these arguments are unused is not part
of the public interface.
@sunfishcode
sunfishcode merged commit 58dd07c into main Mar 15, 2023
@sunfishcode
sunfishcode deleted the sunfishcode/ambient-authority-arg-names branch March 15, 2023 23:32
sunfishcode added a commit that referenced this pull request Mar 16, 2023
Use `let _ = ambient_authority;` to suppress unused argument warnings
rather than naming arguments `_`, because argument names show up in the
documentation, and the fact that these arguments are unused is not part
of the public interface.
sunfishcode added a commit that referenced this pull request Mar 16, 2023
Use `let _ = ambient_authority;` to suppress unused argument warnings
rather than naming arguments `_`, because argument names show up in the
documentation, and the fact that these arguments are unused is not part
of the public interface.
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

Successfully merging this pull request may close these issues.

1 participant