{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"locations,"}]}
                locations,
                self.known_type_outlives_obligations,
                self.body.span,             // irrelevant; will be overridden.