github.com/epfl-dcsl/gotee@v0.0.0-20200909122901-014b35f5e5e9/test/fixedbugs/issue4326.dir/q2.go (about)

     1  package main
     2  
     3  import "./q1"
     4  
     5  func main() {
     6        x := 1
     7        y := q1.Deref(&x)
     8        if y != 1 {
     9              panic("y != 1")
    10        }
    11  }