{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"AnnotationSource::Ascription"}]}
                    AnnotationSource::Ascription
                | ConstraintCategory::TypeAnnotation(
                    | AnnotationSource::Declaration