blob: 4a6542934720decaf4b9be873fd309545b50c3c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// run-rustfix
#![feature(lazy_type_alias)]
#![allow(incomplete_features)]
// Check that we *reject* leading where-clauses on lazy type aliases.
type Alias<T>
where
String: From<T>,
= T;
//~^^^ ERROR where clauses are not allowed before the type for type aliases
fn main() {
let _: Alias<&str>;
}
|