{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            DefWithBody::Variant(it) => it.into(),
        for diag in hir_ty::diagnostics::incorrect_case(db, def.into()) {