{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
            // Cannot be matched, no such method resolution is possible.
            debug!("--> Cannot match obligation");
            return None;