diff options
| author | Mark Freeman <mark@golang.org> | 2025-11-14 15:04:28 -0500 |
|---|---|---|
| committer | Gopher Robot <gobot@golang.org> | 2025-11-24 12:34:51 -0800 |
| commit | e704b0993b69b564d7a0f515cf206f2cc9f1a342 (patch) | |
| tree | 83a1aa2cf78a1b646c98aaeaeb3a3bb026bb9899 /src/cmd | |
| parent | 02d1f3a06bc6900ad5c1b7c11b1fd38cbddef395 (diff) | |
| download | go-e704b0993b69b564d7a0f515cf206f2cc9f1a342.tar.xz | |
go/types, types2: shorten object map assertion
It's a fairly well-known invariant that each object must exist in the
object map and cannot be nil. This change just shortens a check of
that invariant.
Change-Id: Id15c158c3a9ad91cdc230fb0b84eb69b2451cbdc
Reviewed-on: https://go-review.googlesource.com/c/go/+/722061
LUCI-TryBot-Result: Go LUCI <golang-scoped@luci-project-accounts.iam.gserviceaccount.com>
Auto-Submit: Mark Freeman <markfreeman@google.com>
Reviewed-by: Robert Griesemer <gri@google.com>
Diffstat (limited to 'src/cmd')
| -rw-r--r-- | src/cmd/compile/internal/types2/decl.go | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/cmd/compile/internal/types2/decl.go b/src/cmd/compile/internal/types2/decl.go index 5cb52fdbe4..4f9f7c25e7 100644 --- a/src/cmd/compile/internal/types2/decl.go +++ b/src/cmd/compile/internal/types2/decl.go @@ -133,11 +133,8 @@ func (check *Checker) objDecl(obj Object, def *TypeName) { check.push(obj) defer check.pop() - d := check.objMap[obj] - if d == nil { - check.dump("%v: %s should have been declared", obj.Pos(), obj) - panic("unreachable") - } + d, ok := check.objMap[obj] + assert(ok) // save/restore current environment and set up object environment defer func(env environment) { |