[rustc.git] / src / test / ui / const-generics / parent_generics_of_encoding.rs

// aux-build:generics_of_parent.rs
// check-pass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

extern crate generics_of_parent;

use generics_of_parent::{Foo, S};

fn main() {
    // regression test for #87603
    const N: usize = 2;
    let x: S<u8, N> = S::test();
}

// regression test for #87674
fn new<U>(a: U) -> U {
    a
}
fn foo<const N: usize>(bar: &mut Foo<N>)
where
    [(); N + 1]: ,
{
    *bar = new(loop {});
}
Commit	Line	Data
94222f64 XL	1	// aux-build:generics_of_parent.rs
	2	// check-pass
	3	#![feature(generic_const_exprs)]
	4	#![allow(incomplete_features)]
	5
	6	extern crate generics_of_parent;
	7
	8	use generics_of_parent::{Foo, S};
	9
	10	fn main() {
	11	// regression test for #87603
	12	const N: usize = 2;
	13	let x: S<u8, N> = S::test();
	14	}
	15
	16	// regression test for #87674
	17	fn new<U>(a: U) -> U {
	18	a
	19	}
	20	fn foo<const N: usize>(bar: &mut Foo<N>)
	21	where
	22	[(); N + 1]: ,
	23	{
	24	*bar = new(loop {});
	25	}