{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME: We only need to do *any* of this if we're considering a trait goal,
        // since we don't need to look at any supertrait or anything if we are doing