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