blob: 7f417de5fd33d20db8c20a1fcc11001cf7b520f4 (
plain)
1
2
3
4
5
6
7
8
9
|
//! Ensure that we check generic parameter defaults for well-formedness at the definition site.
#![feature(lazy_type_alias)]
#![allow(incomplete_features)]
type Alias<T = Vec<str>, const N: usize = { 0 - 1 }> = T;
//~^ ERROR attempt to compute `0_usize - 1_usize`, which would overflow
//~| ERROR the size for values of type `str` cannot be known at compilation time
fn main() {}
|
