Guillaume Smet, I'll change the section title. On your second question, the RI seems to violate the spec here. It says
If the constraint carries the Unwrapping.Unwrap payload and there is exactly one maximally-specific type-compliant value extractor, this extractor is applied
So the exception seems not justified. Can you file an HV issue? |