ICEs with assoc const equality where assoc const comes from supertrait · Issue #118040 · 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

Found while working on fixing #112560. I'm gonna submit a fix for it, too, while I'm already at it.

#![feature(associated_const_equality)]

fn f(_: impl Trait<K = 0i32>) {}

trait Trait: Super {} trait Super { const K: i32; }

fn main() {}

(stderr incl. backtraces in comments due to GitHub's comment size limit)

Meta

rustc -Vv

rustc 1.76.0-nightly (95a5c59f5 2023-11-18)
binary: rustc
commit-hash: 95a5c59f549e311adbd93e71e70a5163c4345cf6
commit-date: 2023-11-18
host: x86_64-unknown-linux-gnu
release: 1.76.0-nightly
LLVM version: 17.0.5