1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
// 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
#![feature(trait_alias)]
#![crate_type="lib"]
#[cfg(cpass)]
trait Bar<const N: usize> {}
#[cfg(cfail)]
trait Bar<const N: dyn BB> {}
//[cfail]~^ ERROR cycle detected when computing type of `Bar::N`
//[cfail]~| ERROR cycle detected when computing type of `Bar::N`
//[cfail]~| ERROR cycle detected when computing type of `Bar::N`
//[cfail]~| ERROR `(dyn Bar<{ 2 + 1 }> + 'static)` is forbidden as the type of a const generic parameter
trait BB = Bar<{ 2 + 1 }>;
|
