That section looks like a cut out version of a pseudo code more than actual code.

He could have mem::dropped the lock 50 lines before the await point