^^

впихнуть можно, но не впихивает ведь

а выдает участника i32

а где нельзя?

потому что early return происходит! )

иными словами fn a() → i32 { return 1 ! }

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

во!

! это как enum Void { }

его значение нельзя материализировать, и именно поэтому его можно пихать куда угодно

https://stackoverflow.com/questions/31082098/why-would-i-use-divergent-functions

т.е. таким финтом можно заявлть что управление туда никогда не дойдет

Ну, если лаконичнее, то речь о hask категории

рили троллят

рили троллят

ага прямо в офф доке троллят. нигде от них не спрятаться https://doc.rust-lang.org/book/first-edition/functions.html#diverging-functions

ну вот кстати у раста проблемы небольшие с этим типом

он пока не настоящий

https://play.rust-lang.org/?gist=b16e476f7f2ed4262fc5dcf68058f864&version=stable

Я ожидал что-нибудь вроде ! has no fn foo

вот о чем я говорю

ну так это не правильно )

что не правильно?

ты мне говоришь что ретурн имеет тип !

return x; x же должен быть выражением который соответсвует возвраащемому типу

ты мне говоришь что ретурн имеет тип !

но я пытаюсь выдать его и он не тайпчекается как !

так ошибка то в другом месте )

тогда ты должен писать return ! чтобы тайпчекнулось

что за return !

но я пытаюсь выдать его и он не тайпчекается как !

нельзя выдать !

можно

его нельзя инстанциировать как ты его выдашь?

fn a() -> ! { panic!() }

что за return !

тебе нужно заменить ! выражением которое возвращает ! )

так у нас тогда инхеритится тип внутри return

fn a() -> ! { panic!() }

он не инстанциируется здесь, у тебя просто управление передается

это и есть создание !

не-а

ты не можешь создать !, в этом и прикол всех этих фокусов

panic! не возвращает управления, а следственно не может ничего создавать и возвращать

всмысле может, но только в типах. По факту никакого значения не возвращается

https://www.reddit.com/r/rust/comments/3j22vx/what_is_the_meaning_of_as_a_return_type/ The return type " -> ! " implies that this function never returns.

это и есть создание !

ты по-моему сам троллишь

так

fn a() -> i32 { (return 1): ! } работает

странно что оно не документировано 🤔

ты не можешь создать !, в этом и прикол всех этих фокусов

какой смысл во включении ! в каждый тип тогда?

потому что ты можешь не создать что угодно

где тут противоречие?

https://doc.rust-lang.org/book/second-edition/ch19-04-advanced-types.html#the-never-type--that-never-returns

fn a() -> i32 { (return 1): ! } работает

хотя нет даже это не гарантирует что return это !

вот кстати пример полезный Ты можешь реализовать Result<T, !>. Таким образом ты можешь гарантировать что у тебя никогда не может быть вощвращен Err (потому что при создании этого варианта тебе придется предоставить значение типа !. Спойлер: ты не можешь этого сделать) Таким образом ты получаешь замечательное свойство, что result.unwrap_err() возвращает !. Т.е. никогда не возвращает значение и может быть заменено просто panic!() )

я не просил учить меня пустым сетам

ого, ну раз ты в теме, то тогда точно тролиш

раскрыл сам себя

друзья, есть какой-то способ, чтобы при компиляции rustc кормил линкер не своими *.rlib'ами, а нормальными человеческими *.O'шками с биткодом?

(и чтобы без приколов вроде *.bytecode.encoded)

Какую проблему ты решаешь?

ебусь с эмскриптеном

он пытается считать все что находится в *.rlib'е и давиться этим

Либы это не ошки а .а в лучшем случае

насколько я понимю, *.rlib это такой *.a архив, а внутри него *.o

Объектники вроде нельзя в расте, но если можно dylib то наверное и Статик можно

я знаю что если очень захочится, то можно линковать и при помощи GCC. Я так полагаю что там без обьектников не обойтись ведь

но это мне все не важно. Мне конкретно очень хочеться что бы rustc взял и накормил линкер своими *.o файлами с LLVM BC.

и не пытался накормить emcc своими *.bytecode.encoded и уж тем более rust.metadata.bin

как это не LLVM

так блед

Может тебе ir эмитить

$ file target/main.main0.rust-cgu.o target/main.main0.rust-cgu.o: LLVM IR bitcode

Может тебе ir эмитить

да, вообщем то думаю рано или поздно к этому сведется. Буду собирать сам )

Как ты это собрал

Ошники это точно не ллвм байткод

ну ребята, понятное дело. Но в мире Rust+LLVM (в clang не замечал такого, но не удивлюсь) такое бывает

Скорее всего проще чем из ir в байткод - не будет

да уж, не хотелось бы далеко отходить от cargo build и кастомить оч сильно линкер. но мб придется

Проверь --emit-llvm

Без ir

--emit llvm-bc ты имеешь ввиду?

Или так

да, так то оно вообщем то работает