+ Send это сабтайп dyn ObjSafe, должно само работать
https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=afd811be6d176452572ed3557148f00b
в таком виде не знаю
А не портит ли + '_ всю малину?
не, он никак не влияет
AFAIK dyn ObjSafe + Send *не* является подтипом dyn ObjSafe - он просто умеет coercion. А coercion и вывод имплов плохо работают вместе…
Обсуждают сегодня