{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"let"}]}
    let hir::OpaqueTy { origin, .. } = *tcx.hir_expect_opaque_ty(def_id);
fn check_opaque(tcx: TyCtxt<'_>, def_id: LocalDefId) {