error[E0308]: mismatched types --> $DIR/issue-26681.rs:17:39 | LL | const C: ::Bar = 6665; | ^^^^ expected associated type, found integer | = note: expected associated type `<::Fv as Foo>::Bar` found type `{integer}` = help: consider constraining the associated type `<::Fv as Foo>::Bar` to `{integer}` = note: for more information, visit https://doc.rust-lang.org/book/ch19-03-advanced-traits.html error: aborting due to previous error For more information about this error, try `rustc --explain E0308`.