Post #3309806

Currently in the problem space I have I think I need to split T into two traits - one for setup and one for the main operations so that during setup the inner type that does impl T can be returned, while still allowing a outer operations of A / B to follow a trait S. That way I can make C that uses A's setup S and returns a B impl T.