1 error[E0308]: mismatched types
2 --> $DIR/issue-72076.rs:3:23
4 LL | fn f() -> Self::S {}
5 | ^^ expected associated type, found `()`
7 = note: expected associated type `<Self as X>::S`
9 = help: consider constraining the associated type `<Self as X>::S` to `()` or calling a method that returns `<Self as X>::S`
10 = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html
12 error: aborting due to previous error
14 For more information about this error, try `rustc --explain E0308`.