DebugInfo: Require only the declaration of types only used as parameter and return types