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