Come up with a better abstraction for looking through Typedef inner types #1142
Description
Is that really the case though? This does a single lookup; shouldn't we recursively look through? What if we get another typedef? Or does that not matter here? I feel like some kind of "unfold typedefs" function, perhaps with an explicit argument indicating whether we want to "unfold all the way" or "just one later" would be good.
Originally posted by @edsko in #1139 (comment)