{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"other_region:"}]}
        other_region: ty::Region<'tcx>,
        placeholder: ty::PlaceholderRegion,
    ) -> TypeError<'tcx> {