Writing `dyn` in front of types doesn't really make a difference, it's only a little bit of added verbosity. The main problem is that trait objects are very li

Writing `dyn` in front of types doesn't really make a difference, it's only a little bit of added verbosity. The main problem is that trait objects are very limited. There is no downcasting or upcasting (eg C++ dynamic_cast) and trait objects are limited to a single trait. You can't have `Box<dyn A + B>`. That leads to lots of headaches in practice. I hear downcasting might be on the horizon, so that's something to look forward to.