{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
/// try again after more type information has been gathered or report a
/// elaborated. In that case we report an ambiguity, and the caller can
/// "type annotations needed" error.