Closed
Description
I tried this code:
//! example
#![feature(trait_alias)]
#![warn(missing_docs)]
pub trait T = Send;
I expected to see this happen: “missing documentation for a trait alias” diagnostic
Instead, this happened: no diagnostic
Meta
Using 1.71.0-nightly 2023-04-29 87b1f89.