type T = "a" | "b" | "c"; function _t(parm: T) {} function __t() {} function __0(a: "a" | "b") { }