different crates may get different results depending the `recursion_limit`

https://rust-lang.zulipchat.com/#narrow/channel/144729-t-types/topic/solver.20mode.20for.20downcast_trait/near/560380709

idk when exactly this will cause issues, but it's a new failure mode we didn't have to deal with yet

need to now consider this when thinking about how and where the trait solver is usd