Self-returning types check forever

[brandonzstride]

They cause an infinite loop of checking.

let t = Mu t. { f : int -> t }
let g (x : t) : bool =
  let _ : t = x in
  0

The evaluation never reaches 0 because it gets stuck checking t.