{"ast_node_type":"import","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
            // better cause code assigned to them in `add_required_obligations_for_hir`.
            // WF obligations that are registered elsewhere, but they have a
            // This means that they should shadow obligations with worse spans.