Wrong diagnostic when returning _ with a lifetime · Issue #125488 · rust-lang/rust (original) (raw)

Skip to content

Navigation Menu

• • GitHub Copilot Write better code with AI
  • GitHub Advanced Security Find and fix vulnerabilities
  • Actions Automate any workflow
  • Codespaces Instant dev environments
  • Issues Plan and track work
  • Code Review Manage code changes
  • Discussions Collaborate outside of code
  • Code Search Find more, search less
• Explore
  • Learning Pathways
  • Events & Webinars
  • Ebooks & Whitepapers
  • Customer Stories
  • Partners
  • Executive Insights
• • GitHub Sponsors Fund open source developers
  • The ReadME Project GitHub community articles
• • Enterprise platform AI-powered developer platform
• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Description

The code

struct S<'a>(&'a ()); fn f(s: S<'_>) -> _ { s }

Emits this diagnostic, which is wrong in this case.

error[E0121]: the placeholder _ is not allowed within types on item signatures for return types --> src/lib.rs:2:19 | 2 | fn f(s: S<'_>) -> _ { | ^ | | | not allowed in type signatures | help: replace with the correct return type: S<'static>

For more information about this error, try rustc --explain E0121.

It should say help: replace with the correct return type: S<'_>
cc: rust-lang/rust-analyzer#16676