Commit 2024-01-08 13:15 081b41ae
View on Github →feat: allow naming the hypothesis generated by have? (#9454)
Previously, there was no way to specify the name for a hypothesis generated by have? (and if it suggested a let, it used an inaccessible this).
(Also, fixes a problem with observe?, that the suggestion was not respecting the requested name.)