//@ run-pass
// Checks that type param defaults are allowed after const params.
#![allow(dead_code)]
struct FixedOutput<'a, const N: usize, T=u32> {
out: &'a [T; N],
}
trait FixedOutputter {
fn out(&self) -> FixedOutput<'_, 10>;
fn main() {}