{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
///   including the `Self`-type.
/// * A well-formed predicate of a type argument of the trait being implemented,
#[instrument(level = "debug", skip(tcx))]