Skip to content

#[expect] does not work on arguments of trait methods and fn pointers #140088

New issue
New issue
Closed as duplicate
Closed as duplicate
#[expect] does not work on arguments of trait methods and fn pointers#140088
Labels
A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.C-bugCategory: This is a bug.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Description

@theemathas
theemathas
opened on Apr 20, 2025

I tried this code:

pub trait Trait {
    fn foo(#[expect(while_true)] x: i32);
}

pub fn bar() {
    let _: fn(#[expect(while_true)] y: i32);
}

I expected to get two unfulfilled_lint_expectations warnings due to the #[expect] attribute. Instead, the code compiles with no warnings.

See also #140087 and #140089

Meta

Issue reproduces on the playground with version 1.88.0-nightly (2025-04-07 e643f59f6da3a84f43e7)

Activity

  1. theemathas
    added
    C-bugCategory: This is a bug.
    on Apr 20, 2025
  2. rustbot
    added
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Apr 20, 2025
  3. fmease
    added
    T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
    A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.
    F-lint_reasons`#![feature(lint_reasons)]`
    and removed
    needs-triageThis issue may need triage. Remove when done. See docs forge.rust-lang.org/release/issue-triaging
    on Apr 20, 2025

  4. bjorn3 commented on Apr 20, 2025

    @bjorn3
    bjorn3
    on Apr 20, 2025
    Member

    I think lint level attributes are just not supported in that location at all.

  5. fmease commented on Apr 20, 2025

    @fmease
    fmease
    on Apr 20, 2025
    Member

    Arguably duplicate of #33995

  6. fmease
    removed
    F-lint_reasons`#![feature(lint_reasons)]`
    on Apr 20, 2025
  7. fmease
    closed this as a duplicateof Parameter names in foreign functions, function pointer types and trait methods are not resolved / validated #33995 on Apr 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-lintsArea: Lints (warnings about flaws in source code) such as unused_mut.C-bugCategory: This is a bug.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions