diff options
| -rw-r--r-- | tests/incremental/const-generic-type-cycle.rs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tests/incremental/const-generic-type-cycle.rs b/tests/incremental/const-generic-type-cycle.rs new file mode 100644 index 00000000000..489420d009e --- /dev/null +++ b/tests/incremental/const-generic-type-cycle.rs @@ -0,0 +1,16 @@ +// 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> {} + +trait BB = Bar<{ 2 + 1 }>; |