type t = string let s = "baa" let baa _t = () [@@inline never]