src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-77708-3.rs


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

// revisions: rpass
#![feature(generic_const_exprs, adt_const_params)]
#![allow(incomplete_features)]

use std::{convert::TryFrom, num::NonZeroUsize};

struct A<const N: NonZeroUsize>([u8; N.get()])
where
    [u8; N.get()]: Sized;

impl<'a, const N: NonZeroUsize> TryFrom<&'a [u8]> for A<N>
where
    [u8; N.get()]: Sized,
{
    type Error = ();
    fn try_from(slice: &'a [u8]) -> Result<A<N>, ()> {
        let _x = <&[u8; N.get()] as TryFrom<&[u8]>>::try_from(slice);
        unimplemented!();
    }
}

fn main() {}