--- /dev/null
+#![feature(doc_alias)]
+#![feature(trait_alias)]
+
+pub struct Foo;
+
+pub trait Bar {
+ const BAZ: u8;
+}
+
+impl Bar for Foo {
+ #[doc(alias = "CONST_BAZ")] //~ ERROR
+ const BAZ: u8 = 0;
+}
+
+impl Foo {
+ #[doc(alias = "CONST_FOO")] // ok!
+ pub const FOO: u8 = 0;
+
+ pub fn bar() -> u8 {
+ Self::FOO
+ }
+}
--- /dev/null
+error: `#[doc(alias = "...")]` isn't allowed on associated constant in trait implementation block
+ --> $DIR/doc-alias-assoc-const.rs:11:11
+ |
+LL | #[doc(alias = "CONST_BAZ")]
+ | ^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to previous error
+