{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":")),"}]}
                )),
                    &ops.iter().map(|op| op.ty(locals)).collect::<Result<Vec<_>, _>>()?,
                AggregateKind::Adt(def, _, ref args, _, _) => Ok(def.ty_with_args(args)),