{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
/// * A well-formed predicate of a type argument of the trait being implemented,
///     * This check is done using the `trait_predicates_eq` function below.
///   including the `Self`-type.