implement let-no-escape