type nonrec t = _
let (t : _) = x