{"ast_node_type":"impl","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
    /// Check for predicates like `impl for<'a> Trait<impl OtherTrait<'a>>`
    /// and ban them. Type variables instantiated inside binders aren't