Skip to content

docs: fix ScopedTypeVariables example (#24101)

Krzysztof Gogolewski requested to merge wip/T24101 into master

The previous example didn't compile.

Furthermore, it wasn't demonstrating the point properly. I have changed it to an example which shows that 'a' in the signature must be the same 'a' as in the instance head.

Merge request reports