{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// have a type that is some subtype of the ascribed type.
    /// Note that this variance does not apply for any bindings within subpatterns. The type