error[E0277]: the trait bound `String: From<()>` is not satisfied --> $DIR/trailing-where-clause.rs:12:18 | LL | let _: Alias<()>; | ^^ the trait `From<()>` is not implemented for `String` | = help: the following other types implement trait `From`: `String` implements `From<&String>` `String` implements `From<&mut str>` `String` implements `From<&str>` `String` implements `From>` `String` implements `From>` `String` implements `From` note: required by a bound in `Alias` --> $DIR/trailing-where-clause.rs:8:13 | LL | type Alias = T | ----- required by a bound in this type alias LL | where LL | String: From; | ^^^^^^^ required by this bound in `Alias` error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0277`.