github.com/gnolang/gno@v0.0.0-20240520182011-228e9d0192ce/gnovm/tests/files/switch40.gno (about)

     1  package main
     2  
     3  func main() {
     4  	a := 1
     5  	switch c := int16(a); c {
     6  	case 0:
     7  		panic("should not happen")
     8  	case 1:
     9  		println("done")
    10  	default:
    11  		panic("should not happen")
    12  	}
    13  }
    14  
    15  // Output:
    16  // done