{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"Rvalue::Aggregate(ak,"}]}
            Rvalue::Aggregate(ak, ops) => match *ak {
            | Rvalue::NullaryOp(NullOp::UbChecks, _) => Ok(Ty::bool_ty()),
                AggregateKind::Array(ty) => Ty::try_new_array(ty, ops.len() as u64),