{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"instantiated:"}]}
        instantiated: &mut Vec<(ty::PolyTraitRef<'tcx>, Span)>,
        tcx: TyCtxt<'tcx>,
        args: GenericArgsRef<'tcx>,