// run-rustfix | |
#![feature(lazy_type_alias)] | |
#![allow(incomplete_features)] | |
// Check that we *reject* leading where-clauses on lazy type aliases. | |
type Alias<T> | |
= T where String: From<T>; | |
//~^^^ ERROR where clauses are not allowed before the type for type aliases | |
fn main() { | |
let _: Alias<&str>; | |
} |