| // 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 }>; |