From 54d05e4e252298724c5615ea2a4e36f2151b22ce Mon Sep 17 00:00:00 2001 From: Keith Randall Date: Thu, 2 Jun 2022 09:31:30 -0700 Subject: [PATCH] test: test for issue 53087 This issue has been fixed with unified IR, so just add a test. Update #53087 Change-Id: I965d9f27529fa6b7c89e2921c65e5a100daeb9fe Reviewed-on: https://go-review.googlesource.com/c/go/+/410197 Reviewed-by: Cuong Manh Le Reviewed-by: Emmanuel Odeke Run-TryBot: Keith Randall TryBot-Result: Gopher Robot Reviewed-by: Keith Randall Reviewed-by: Carlos Amedee Auto-Submit: Keith Randall --- test/typeparam/issue53087.go | 56 ++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) create mode 100644 test/typeparam/issue53087.go diff --git a/test/typeparam/issue53087.go b/test/typeparam/issue53087.go new file mode 100644 index 0000000000..5e19c59f1f --- /dev/null +++ b/test/typeparam/issue53087.go @@ -0,0 +1,56 @@ +// run + +// Copyright 2022 The Go Authors. All rights reserved. +// Use of this source code is governed by a BSD-style +// license that can be found in the LICENSE file. + +package main + +import "fmt" + +type I interface { + M() +} + +type S struct { + str string +} + +func (s *S) M() {} + +var _ I = &S{} + +type CloningMap[K comparable, V any] struct { + inner map[K]V +} + +func (cm CloningMap[K, V]) With(key K, value V) CloningMap[K, V] { + result := CloneBad(cm.inner) + result[key] = value + return CloningMap[K, V]{result} +} + +func CloneBad[M ~map[K]V, K comparable, V any](m M) M { + r := make(M, len(m)) + for k, v := range m { + r[k] = v + } + return r +} + +func main() { + s1 := &S{"one"} + s2 := &S{"two"} + + m := CloningMap[string, I]{inner: make(map[string]I)} + m = m.With("a", s1) + m = m.With("b", s2) + + it, found := m.inner["a"] + if !found { + panic("a not found") + } + if _, ok := it.(*S); !ok { + panic(fmt.Sprintf("got %T want *main.S", it)) + } +} -- 2.50.0