// In the former case we are done, and in the latter case we don't
// care because the type checker will do a separate field lookup.
//
- // If the key does not resolve, it must a) be defined at the top-
- // level in another file of the same package or be undeclared, or
- // b) it is a struct field. In the former case, the type checker
- // can do a top-level lookup, and in the latter case it will do a
- // separate field lookup.
+ // If the key does not resolve, it a) must be defined at the top
+ // level in another file of the same package, the universe scope, or be
+ // undeclared; or b) it is a struct field. In the former case, the type
+ // checker can do a top-level lookup, and in the latter case it will do
+ // a separate field lookup.
x := p.checkExpr(p.parseExpr(keyOk))
if keyOk {
if p.tok == token.COLON {