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.)