Function name hides argument names in scoping in docstring contracts

Open pschanely opened this issue 4 years ago • 0 comments

This crosshair-web example should be confirmed, but reports a confusing counterexample instead.

Jan 26 '21 03:01 pschanely