(define func
　(let ((y ...))
　　(lambda (x)

　....)))

のような場合、yはクロージャの環境として必要なので、
GCの対象ではないですよね？