src/test/ui/const-generics/defaults/simple-defaults.rs


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

// run-pass
// Checks that type param defaults are allowed after const params.
// revisions: full min
#![cfg_attr(full, feature(const_generics))]
#![feature(const_generics_defaults)]
#![allow(incomplete_features)]
#![allow(dead_code)]

struct FixedOutput<'a, const N: usize, T=u32> {
    out: &'a [T; N],
}

trait FixedOutputter {
    fn out(&self) -> FixedOutput<'_, 10>;
}

fn main() {}