Skip to content

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Jun 30, 2025

New rules:

  • names.preludes.no_implicit_prelude.syntax
  • names.preludes.no_implicit_prelude.allowed-positions
  • names.preludes.no_implicit_prelude.duplicates
  • names.preludes.no_implicit_prelude.excluded-preludes

ehuss added 5 commits June 27, 2025 14:47
This is to follow the attribute template.
This rewrites the intro to be a little more general, and moves the
description of the behavior to a specific rule that can be cited.
@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Jun 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: The marked PR is awaiting review from a maintainer
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants