ArC - improve the way a wildcard in a producer return/field type is detected

[mkouba]

Describe the bug

It seems that we don't search through the "nested" parameterized types.

Note that wildcards are not legal in a a producer return/field type. See also https://jakarta.ee/specifications/cdi/2.0/cdi-spec-2.0.html#producer_field.

This is a follow-up of #4756.

Expected behavior

No response

Actual behavior

No response

How to Reproduce?

Replace the return type of io.quarkus.arc.processor.TypesTest.Producer.produce(); List<? extends Number> -> List<Set<? extends Number>>

Output of uname -a or ver

No response

Output of java -version

No response

GraalVM version (if different from Java)

No response

Quarkus version or git rev

No response

Build tool (ie. output of mvnw --version or gradlew --version)

No response

Additional information

No response

[quarkus-bot]

/cc @manovotn

[gonciarz]

Guys, I believe that you forgot to mention about problem with Kotlin's suspend functions as Quarkus supports Kotlin.
#29789

CDI 2.0 says about producer's definition, so I guess we should focus on a class / function definition.
The question is can we can create a smart analyzer that could detect that we deal with 
Kotlin's suspend function and we can exclude Continuation. 
It depends on a context that calls it and in theory you may inject producer to different contexts.