blob: 07ebc09b30ee66b6af0d5432b6e5af1cf48241d6 [file] [log] [blame]
// 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>;
}