Before #371 this code would compile without any issues, but that would actually
hide the problem that the resulting Debug implementation was never
applicable, because the bounds could not be satisfied.
Solution
This problem was already solved by #371, but this adds a test case to ensure
that we don't regress here again.
Resolves #392 Related to #371
Synopsis
Before #371 this code would compile without any issues, but that would actually hide the problem that the resulting
Debugimplementation was never applicable, because the bounds could not be satisfied.Solution
This problem was already solved by #371, but this adds a test case to ensure that we don't regress here again.
Checklist