Skip to content

replaced integer overflow rule with strong typing rule#234

Merged
PLeVasseur merged 6 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:feat/strong-types
Dec 10, 2025
Merged

replaced integer overflow rule with strong typing rule#234
PLeVasseur merged 6 commits into
Safety-Critical-Rust-Consortium:mainfrom
rcseacord:feat/strong-types

Conversation

@rcseacord

@rcseacord rcseacord commented Dec 1, 2025

Copy link
Copy Markdown
Collaborator

Integer overflow rule is obsolete as it was replaced by by this merged #220

Strong typing rule has been added

@netlify

netlify Bot commented Dec 1, 2025

Copy link
Copy Markdown

Deploy Preview for scrc-coding-guidelines ready!

Name Link
🔨 Latest commit b7c2bc2
🔍 Latest deploy log https://app.netlify.com/projects/scrc-coding-guidelines/deploys/6939fc7e05cb430008e5471f
😎 Deploy Preview https://deploy-preview-234--scrc-coding-guidelines.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify project configuration.

@felix91gr felix91gr added the coding guideline An issue related to a suggestion for a coding guideline label Dec 2, 2025
Comment thread src/coding-guidelines/types-and-traits.rst Outdated
@felix91gr

Copy link
Copy Markdown
Collaborator

String typing rule has been added

While I review the other arithmetic rule: here you meant strong typing, right?

@rcseacord

Copy link
Copy Markdown
Collaborator Author

String typing rule has been added

While I review the other arithmetic rule: here you meant strong typing, right?

right--fixed

@AlexCeleste

Copy link
Copy Markdown
Collaborator

Reviewed in session 2025-12-03

While I try to work out where the right buttons are to make this a commit suggestion 😅 the main review comment from the session was that this should not overwrite the existing rule - once a GUI has been assigned to a rule, it should stay assigned to it, even after that rule is deleted or withdrawn. Instead it would be better to add the new content in a separate pass.

This will also work better if we adopt the prior suggestion to put every rule in its own file. Then the new content won't need to know or think about the rule currently being overwritten at all - the decision to include them becomes completely independent.

But we thought it was very important that GUIs should stay valid forever once assigned; that way, we don't need to know titles, we can inline a link to the GUI from a piece of text and it will stay in sync that way

@rcseacord

Copy link
Copy Markdown
Collaborator Author

But we thought it was very important that GUIs should stay valid forever once assigned; that way, we don't need to know titles, we can inline a link to the GUI from a piece of text and it will stay in sync that way

Interesting. I changed the IDs of things. Does this give us a new GUI?

@PLeVasseur PLeVasseur left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Hey @rcseacord -- thanks for writing this up. I've left a few thoughts. Please take a look.

Comment thread src/coding-guidelines/types-and-traits.rst
Comment thread src/coding-guidelines/types-and-traits.rst Outdated
Comment thread src/coding-guidelines/types-and-traits.rst Outdated
Comment thread src/coding-guidelines/types-and-traits.rst Outdated
Comment thread src/coding-guidelines/types-and-traits.rst

@PLeVasseur PLeVasseur left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Suggestion to make an example a bit more idiomatic

Comment thread src/coding-guidelines/types-and-traits.rst Outdated

@PLeVasseur PLeVasseur left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

@PLeVasseur
PLeVasseur added this pull request to the merge queue Dec 10, 2025
Merged via the queue into Safety-Critical-Rust-Consortium:main with commit 587f8bc Dec 10, 2025
6 checks passed
@rcseacord
rcseacord deleted the feat/strong-types branch December 11, 2025 10:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

coding guideline An issue related to a suggestion for a coding guideline

Development

Successfully merging this pull request may close these issues.

6 participants