search for: upcreating

...ypes? In Fortran it is possible to have a routine that takes a function pointer to a routine with the same signature. This is not possible to express in C/C++. I'm not sure it's possible to express in LLVM either without using varargs (opinions welcome). In a simpler C++ example, we end upcreating a function pointer type: void (...) * (opaque *) We want to resolve "opaque" to be void (...) Note that this isn't the same issue as in Fortran (it's not a recursive type) but it serves the purpose for this question. Unfortunately, calling FunctionType::refineAbstractType(op...