{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"SuggestChangingConstraintsMessage::RestrictTypeFurther"}]}
            SuggestChangingConstraintsMessage::RestrictTypeFurther { ty }
            }
            | SuggestChangingConstraintsMessage::RestrictType { ty }