{"ast_node_type":"impl","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
        // to be very careful when changing the impl where-clauses to be productive.
        // Projecting to the IAT also "steps out the impl constructor", so we would have
        self.add_goals(