{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"types:"}]}
    types: FxIndexMap<DefId, (Ty<'tcx>, ty::GenericArgsRef<'tcx>)>,
    ocx: &'a ObligationCtxt<'a, 'tcx, E>,
    span: Span,