tests/ui/rfcs/rfc-2632-const-trait-impl/effects/ice-113375-index-out-of-bounds-generics.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

//@ check-pass
//@ compile-flags: -Znext-solver
// effects ice https://github.com/rust-lang/rust/issues/113375 index out of bounds

#![allow(incomplete_features, unused)]
#![feature(effects, adt_const_params)]

struct Bar<T>(T);

impl<T> Bar<T> {
    const fn value() -> usize {
        42
    }
}

struct Foo<const N: [u8; Bar::<u32>::value()]>;

pub fn main() {}