| //@ run-rustfix | |
| #![feature(lazy_type_alias)] | |
| #![allow(incomplete_features)] | |
| #![crate_type = "lib"] | |
| // Check that we *reject* leading where-clauses on lazy type aliases. | |
| pub type Leading0<T> | |
| = T where String: From<T>; | |
| pub type Leading1<T, U> | |
| = (T, U) | |
| where | |
| U: Copy, String: From<T>; | |
| pub type EmptyLeading0 = () where; | |
| //~^ ERROR where clauses are not allowed before the type for type aliases | |
| pub type EmptyLeading1<T> = T where T: Copy; | |
| //~^ ERROR where clauses are not allowed before the type for type aliases |