Tracking issue for RFC 2091: Implicit caller location · Issue #47809 · 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

Appearance settings

Description

This is a tracking issue for the RFC "Implicit caller location" (rust-lang/rfcs#2091).

Steps:

• Implement the RFC (cc @rust-lang/compiler -- can anyone write up mentoring instructions?)
• Adjust documentation (see instructions on forge)
• Stabilization PR (see instructions on forge)

Unresolved questions:

• If we want to support adding #[track_caller] to trait methods, the redirection
  pass/query/whatever should be placed after monomorphization, not before. Currently the RFC
  simply prohibits applying #[track_caller] to trait methods as a future-proofing measure.
• Diverging functions should be supported.
• The closure foo::{{closure}} should inherit most attributes applied to the function foo, in
  particular #[inline], #[cold], #[naked] and also the ABI. Currently a procedural macro
  won't see any of these, nor would there be anyway to apply these attributes to a closure.
  Therefore, #[rustc_implicit_caller_location] currently will reject #[naked] and ABI, and
  leaving #[inline] and #[cold] mean no-op. There is no semantic reason why these cannot be
  used though.