src/test/incremental/const-generics/hash-tyvid-regression-1.rs


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

// revisions: cfail
#![feature(generic_const_exprs, adt_const_params)]
#![allow(incomplete_features)]
// regression test for #77650
fn c<T, const N: std::num::NonZeroUsize>()
where
    [T; N.get()]: Sized,
{
    use std::convert::TryFrom;
    <[T; N.get()]>::try_from(())
    //~^ error: the trait bound
    //~| error: the trait bound
    //~| error: mismatched types
}

fn main() {}