{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"\"Error"}]}
                            "Error normalizing in drop elaboration.",
                            self.elaborator.body().span,
                        ),