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

Various fixes #424

Merged
merged 6 commits into from
Aug 4, 2023
Merged

Various fixes #424

merged 6 commits into from
Aug 4, 2023

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Aug 4, 2023

Closes #111
Closes #142
Closes #166
Closes #412

within a :t:`trait`.

:dp:`fls_N3cdn4lCZ2Bf`
An :t:`associated trait implementation item` is an :t:`associated item` that

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would it be clearer to write a "trait implementation associated item"? Since the associated item is associated to the trait implementation? Or at least a dash: trait-implementation associated item?
Or is it against the standard (and we would need to change it everywhere!)

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

we already have things like associated trait constant and such, so that's where this order comes from

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I understand it as "trait constant" being the main thing, then pre-fixing it with "associated" to be more specific. "trait associated constant" would not flow as well.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The 3 word terms are ok, it is mostly the 4 word terms that become unclear.

:std:`core::marker::Sync` :t:`[trait]s`.
The Rust programming language provides the :std:`core::marker::Send` and
:std:`core::marker::Sync` :t:`[trait]s` for preventing data races at the
:t:`type` level.

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's more restrictive. Why the change?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

what is more restrictive abou tthis? The main point about this phrasing is to get rid of the possible runtime intepretation from the previous wording. These traits have no runtime implications so care should be taken to word it accordingly

.. _fls_47xtji9Pk8Lw:

associated trait implementation item
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah same here, I really think it is clearer to have trait-implementation associated item, at a glance.

@@ -343,7 +343,7 @@ The following names are used when referring to :t:`[punctuator]s`:
- Equals

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

How are those operators selected, should we have all punctuation?
= assignment
or "//" comment?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

no I don't think we gain anything from adding this for all. The changes here were for completeness sake as the other operators of a similar group have the token names and semantic aliases

@@ -142,7 +142,8 @@ The :t:`type` of a :t:`static` shall implement the :std:`core::marker::Sized`
:t:`trait`.

:dp:`fls_doi4z6u55bi7`
A :t:`mutable static` is a :t:`static` whose :t:`value` can be modified.
A :t:`mutable static` is a :t:`static` with :t:`keyword` ``mut`` whose

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should we write it is global?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

what does global as a term give us

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I thought that it should be specified since it is always global.

@Dajamante
Copy link

bors merge

@bors-ferrocene
Copy link
Contributor

bors-ferrocene bot commented Aug 4, 2023

Build succeeded:

@bors-ferrocene bors-ferrocene bot merged commit 250a237 into main Aug 4, 2023
1 check passed
@bors-ferrocene bors-ferrocene bot deleted the stuff branch August 4, 2023 12:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants