Proper handling of intrinsics with #[rustc_intrinsic_must_be_overridden] · Issue #79 · rust-lang/project-stable-mir (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

rust-lang/rust#120675 introduced a new mechanism to declare intrinsics which will potentially replace the rust-intrinsic ABI. The new mechanism introduces a dummy body and mark the intrinsic with #[rustc_intrinsic_must_be_overridden].

I believe we can maintain the same interface we have so far, and we can change the has_body check for instances. For the case of an intrinsic, we return that a body is not available if rustc_intrinsic_must_be_overridden annotation is present.

@oli-obk, would that make sense?