The typer doesn't understand that it needs to ignore captured references ("read" refs are ok, but not "mutated" refs) to be conservative.