Это ж не плюсовые шаблоны. Дженерик должен быть валиден при любом наборе параметров

не, вроде таки дочинили до уровня сишарпа

Надо новое ограничение вводить для дженериков.
where A: unique, B : unique

в скале 3 такое есть, A =:= B, можно в компайл тайме доказывать равенство дженерик параметров

Тогда уж сразу A != B

Угу, у меня вообще бред написан, строго говоря, потому что связи A и B нет.

Разве такие вещи не через Printf.kprintf делаются?

пытаюсь разными способами

в чате давно уже были *практически* не аллоцирующие принтф через компиляторные хаки

Или ты немного другое хочешь?

мне нужно в логгере сделать локализацию и запись в лог. и хочу сделать по аналогии, как это сделано в printf

то есть, на выхлопе должно быть что то типа

console «text %s text %d text %A» «aaa» 123 [1;2;3]

и в зависимости от настроек локали в конфиг файле и уровня логера, должна происходить одновременно локализация текста + запись в терминал + запись в лог. по отдельности я эти задачи решил, но вот при попытке объединить возникают такие ошибки.

kprintf is your choice

мне не оч понятно, почему вызове debug ругается красным, а внутри debug ругается зеленым

в частности, почему эта строчка ругается?
Printf.bprintf builder builderFormat

let inline?

хз. буду разбираться

Скорее всего сигнатуру функции надо глянуть