I saw this thread Trait objects with associated types
It is very close to what I was hoping to do.
My goal is to have a trait with an associated type, and a wrapper trait so that I can create a heterogeneous list. However I want the heterogeneous list to have a function that could return different types. The reason being that the code I am writing interfaces with a graphics system so when I get the various interal trait objects and use them, as a programmer I know I have the correct types. The question lies in whether or not there is a way to get the compiler to believe me.
The difference though is that in the previous thread the wrapper trait’s function doit is of type Self -> String. Is it possible to make a wrapper trait that returns a non concrete type. It doesn’t seem like this is possible but I would be curious to know.