From: Robert Griesemer <gri@golang.org>
Date: Sun, 14 Nov 2021 19:31:47 +0000 (-0800)
Subject: go/types, types2: copy implicit bit in interface substitution
X-Git-Tag: go1.18beta1~319
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=184ca3cf99864b4112997891b079d106751be25c;p=gostls13.git

go/types, types2: copy implicit bit in interface substitution

Change-Id: Idb02449ef1b06d5f47eeb4a4413e56e2cd5d0d96
Reviewed-on: https://go-review.googlesource.com/c/go/+/363836
Trust: Robert Griesemer <gri@golang.org>
Run-TryBot: Robert Griesemer <gri@golang.org>
TryBot-Result: Go Bot <gobot@golang.org>
Reviewed-by: Robert Findley <rfindley@google.com>
---

diff --git a/src/cmd/compile/internal/types2/subst.go b/src/cmd/compile/internal/types2/subst.go
index 5deb868a79..ed1fbbf941 100644
--- a/src/cmd/compile/internal/types2/subst.go
+++ b/src/cmd/compile/internal/types2/subst.go
@@ -137,7 +137,7 @@ func (subst *subster) typ(typ Type) Type {
 		methods, mcopied := subst.funcList(t.methods)
 		embeddeds, ecopied := subst.typeList(t.embeddeds)
 		if mcopied || ecopied {
-			iface := &Interface{methods: methods, embeddeds: embeddeds, complete: t.complete}
+			iface := &Interface{methods: methods, embeddeds: embeddeds, implicit: t.implicit, complete: t.complete}
 			return iface
 		}
 
diff --git a/src/go/types/subst.go b/src/go/types/subst.go
index 3ff81a06b6..04eb3a6215 100644
--- a/src/go/types/subst.go
+++ b/src/go/types/subst.go
@@ -137,7 +137,7 @@ func (subst *subster) typ(typ Type) Type {
 		methods, mcopied := subst.funcList(t.methods)
 		embeddeds, ecopied := subst.typeList(t.embeddeds)
 		if mcopied || ecopied {
-			iface := &Interface{methods: methods, embeddeds: embeddeds, complete: t.complete}
+			iface := &Interface{methods: methods, embeddeds: embeddeds, implicit: t.implicit, complete: t.complete}
 			return iface
 		}