{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"///"}]}
    /// Note that this variance does not apply for any bindings within subpatterns. The type
    ///
    /// assigned to those bindings must be exactly equal to the `user_ty` given here.