{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"with(|cx|"}]}
        with(|cx| cx.mono_instance(value.def_id()))
        // A static definition should always be convertible to an instance.
    }