{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"instantiated:"}]}
        instantiated: &mut InstantiatedPredicates<'tcx>,
        tcx: TyCtxt<'tcx>,
        args: GenericArgsRef<'tcx>,