{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
    /// Needed for NLL to impose user-given type constraints.
    ///
    pub user_ty: Option<UserTypeAnnotationIndex>,