{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
        // then we'd better not do anything with this local.
        // If there's any path that gets here, rather than being understood elsewhere,
        self.ineligible_locals.insert(local);