DefineOpaqueTypes
Yes
We assert that we are in the new solver in the line above
TypeVisitor
DefIdVisitor
VisitorResult
fn
{closure@..}