18 lines
410 B
Rust
18 lines
410 B
Rust
// Verify that we do not ICE when we try to overwrite an anon-const's type because of a trait
|
|
// cycle.
|
|
//
|
|
//@ compile-flags: -Zincremental-ignore-spans
|
|
//@ revisions: cpass cfail
|
|
//@ error-pattern: cycle detected when computing type of `Bar::N`
|
|
|
|
#![feature(trait_alias)]
|
|
#![crate_type="lib"]
|
|
|
|
#[cfg(cpass)]
|
|
trait Bar<const N: usize> {}
|
|
|
|
#[cfg(cfail)]
|
|
trait Bar<const N: dyn BB> {}
|
|
|
|
trait BB = Bar<{ 2 + 1 }>;
|