{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"ConstraintCategory::TypeAnnotation(_)"}]}
            ConstraintCategory::TypeAnnotation(_) => "type annotation ",
            ConstraintCategory::TypeAnnotation(AnnotationSource::GenericArg) => "generic argument ",
            ConstraintCategory::SizedBound => "proving this value is `Sized` ",