{"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
    ///
    /// assigned to those bindings must be exactly equal to the `user_ty` given here.
    /// The only place where this field is not `Covariant` is when matching constants, where