Minoru@AlexFails: ну да, оно и будет на границе. Сложность в том, как до этого состояния дойти :) Вот я и решил сделать свой тип, ограниченный, и просто чинить ошибки компилятора. И когда починю, у меня будет программа, в которой внутри строки всегда гарантированно в UTF-8 \o/