Closed mkarg closed 4 months ago
@shuwada I think you solution still works even if we remove this line. Can you please check that? @bluecontainer I think this chage should fix the bug reported by you. Can you please check that?
@shuwada @bluecontainer "ping" ;-)
@shuwada @bluecontainer "ping" ;-)
As you did not respond, I assume you silently agree. So I am merging this PR now.
Fixes #571
A default fulfills requirement, but does not count as assignment.