Part of the issue in #2966 (comment) is that we struggle to discover types, we could use enzyme_type to emit types from the Fortran semantics
(might have to be careful around TRANSFER, EQUIVALENCE or any other method to exploit a type-hole)
Unsure where this could live and if we would need it to be part of the MLIR plugin in #2968 & co or if we could use it just on the Flang plugin level.
Part of the issue in #2966 (comment) is that we struggle to discover types, we could use
enzyme_typeto emit types from the Fortran semantics(might have to be careful around
TRANSFER,EQUIVALENCEor any other method to exploit a type-hole)Unsure where this could live and if we would need it to be part of the MLIR plugin in #2968 & co or if we could use it just on the Flang plugin level.