As mentioned previous e-mails, either:
• the docstring forgets to mention that it is the caller’s responsibility it is
to check that ‘str’ is a valid method name (and you need to check/adjust the
callers to do the check, of which I have seen n)
• or 'parse-http-method’ is missing a check that
I'm not sure how pull-requests are handled in this project, but Maxime
suggested I send the PR to this mailing list.
The following changes since commit 48548df91e9eb5d4a46391da0ad0a8cdd3387857:
Fix effects analysis: field writes clobber object reads (2024-03-20
11:50:53 +0100)
are available