{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":".ty_adt_def()"}]}
                            .ty_adt_def()
                            .unwrap_or(receiver_ty)
                            .and_then(|adt_def| tcx.get_diagnostic_name(adt_def.did()))