{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
            // WF obligations that are registered elsewhere, but they have a
            // NOTE: These obligations are 100% redundant and are implied by
            // better cause code assigned to them in `add_required_obligations_for_hir`.