{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// and ban them. Type variables instantiated inside binders aren't
    /// Check for predicates like `impl for<'a> Trait<impl OtherTrait<'a>>`
    /// well-supported at the moment, so this doesn't work.