JuniorTheoryCommon

What does the program print?

package main

import "fmt"

func main() {
    ch := make(chan int, 1)
    ch <- 7
    close(ch)
    for v := range ch {
        fmt.Print(v)
    }
}

Expecting a deadlock: close tells range that no more values will come, so the loop ends after reading the buffered 7.
Expecting 0 after the 7: a receive on a closed channel gives the zero value, but range stops at the close instead of receiving it.