diff options
| -rw-r--r-- | src/test/ui/const-generics/issues/issue-77357.rs (renamed from src/test/ui/const-generics/issues/issue-775377.rs) | 0 | ||||
| -rw-r--r-- | src/test/ui/const-generics/issues/issue-77357.stderr (renamed from src/test/ui/const-generics/issues/issue-775377.stderr) | 2 | ||||
| -rw-r--r-- | src/test/ui/const-generics/issues/issue-96654.rs | 15 |
3 files changed, 16 insertions, 1 deletions
diff --git a/src/test/ui/const-generics/issues/issue-775377.rs b/src/test/ui/const-generics/issues/issue-77357.rs index 3cb8d3846ab..3cb8d3846ab 100644 --- a/src/test/ui/const-generics/issues/issue-775377.rs +++ b/src/test/ui/const-generics/issues/issue-77357.rs diff --git a/src/test/ui/const-generics/issues/issue-775377.stderr b/src/test/ui/const-generics/issues/issue-77357.stderr index 83946df4203..804c0ae5175 100644 --- a/src/test/ui/const-generics/issues/issue-775377.stderr +++ b/src/test/ui/const-generics/issues/issue-77357.stderr @@ -1,5 +1,5 @@ error: overly complex generic constant - --> $DIR/issue-775377.rs:6:46 + --> $DIR/issue-77357.rs:6:46 | LL | fn bug<'a, T>() -> &'static dyn MyTrait<[(); { |x: &'a u32| { x }; 4 }]> { | ^^^^^^^^^^^^^^^^^^^^^^^^^ blocks are not supported in generic constant diff --git a/src/test/ui/const-generics/issues/issue-96654.rs b/src/test/ui/const-generics/issues/issue-96654.rs new file mode 100644 index 00000000000..8cf786dbe40 --- /dev/null +++ b/src/test/ui/const-generics/issues/issue-96654.rs @@ -0,0 +1,15 @@ +// check-pass + +struct A<const M: u32> {} + +struct B<const M: u32> {} + +impl<const M: u32> B<M> { + const M: u32 = M; +} + +struct C<const M: u32> { + a: A<{ B::<1>::M }>, +} + +fn main() {} |