{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
                        // here if we find that the obligation originates from some other
                        // which point arbitrary items like ADTs, so there's no use in ICEing
                        // node that we don't handle.