Improve documentation of @Any@ type.
In particular mention possible uses for non-lifted types. Fixes #23100.
parent
b880ee80
No related branches found
No related tags found
Pipeline #95286 passed
Stage: tool-lint
Stage: quick-build
Stage: full-build
Stage: packaging
Stage: testing
Loading
Please register or sign in to comment