go中的switch评估序列

I am learning Go language by reading "Effective Go".

I found a example about type switch:

var t interface{}
t = functionOfSomeType()
switch t := t.(type) {
default:
    fmt.Printf("unexpected type %T
", t)     // %T prints whatever type t has
case bool:
    fmt.Printf("boolean %t
", t)             // t has type bool
case int:
    fmt.Printf("integer %d
", t)             // t has type int
case *bool:
    fmt.Printf("pointer to boolean %t
", *t) // t has type *bool
case *int:
    fmt.Printf("pointer to integer %d
", *t) // t has type *int
}

My understanding is the cases in switch is evaluated from top to bottom and stop at a match condition. So isn't the example about would always stop at default and print "unexpected type ..."?

From this Golang tutorial:

• The code block of default is executed if none of the other case blocks match
• the default block can be anywhere within the switch block, and not necessarily last in lexical order