{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                // Skip opaques from RPIT in traits with no default body.
                check_opaque(tcx, def_id);