{"ast_node_type":"impl","tokens":[{"end":39,"kind":"keyword","start":0,"text":"///"}]}
/// * Present on the base impl `impl2`.
/// * A `T: Tr` predicate where `Tr` is an always-applicable trait.
///     * This check is done using the `trait_predicates_eq` function below.