array-3.mz

open array

alias pair a b = (a, b)
alias double a = pair a a

val f (consumes x: marray int) : double (marray int) =
  x, x 

(* Should be rejected *)