summaryrefslogtreecommitdiffstats
path: root/tests/ui/lazy-type-alias/leading-where-clause.rs
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>;
}