{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"error_element:"}]}
        error_element: RegionElement,
        placeholder: ty::PlaceholderRegion,
        cause: ObligationCause<'tcx>,