blob: 5c65d7af6f74a9875cc8e38c426540718f01eb12 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
//@ build-pass
#![allow(incomplete_features)]
#![feature(generic_const_exprs)]
pub trait Foo {
const SIZE: usize;
fn to_bytes(&self) -> [u8; Self::SIZE];
}
pub fn bar<G: Foo>(a: &G) -> u8
where
[(); G::SIZE]: Sized,
{
deeper_bar(a)
}
fn deeper_bar<G: Foo>(a: &G) -> u8
where
[(); G::SIZE]: Sized,
{
a.to_bytes()[0]
}
fn main() {}
|
