{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"self.mir_def,"}]}
                        self.mir_def,
                        "expected defining type for `{:?}`: `{:?}`",
                        defining_ty