{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"Ok(Some(instance))"}]}
            Ok(Some(instance)) => {
        match ty::Instance::try_resolve(self, typing_env, ct.def, ct.args) {
                let cid = GlobalId { instance, promoted: ct.promoted };