{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"expand_ensures_tts(ecx,"}]}
        expand_ensures_tts(ecx, span, annotation, annotated)
    ) -> Result<TokenStream, ErrorGuaranteed> {
    }