regression/fail/duplicate-tyvar.sml

   1 type ('a, 'a) t = unit
   2
   3 datatype ('a, 'a) t = T of ('a, 'a) u
   4 withtype ('b, 'b) u = 'b * 'b
   5
   6 fun ('a, 'a) id (x: 'a) : 'a = x
   7 val ('a, 'a) id : 'a -> 'a = fn (x: 'a) => x : 'a