go issue51376 源码

  • 2022-07-15
  • 浏览 (503)

golang issue51376 代码


// 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 p

type Map map[string]int

func f[M ~map[K]V, K comparable, V any](M) {}
func g[M map[K]V, K comparable, V any](M) {}

func _[M1 ~map[K]V, M2 map[K]V, K comparable, V any]() {
        var m1 M1
        g( /* ERROR M1 does not implement map\[K\]V */ m1) // M1 has tilde

        var m2 M2
        g(m2) // M1 does not have tilde

        var m3 Map
        g( /* ERROR Map does not implement map\[string\]int */ m3) // M in g does not have tilde


go 源码目录


go issue20583 源码

go issue23203a 源码

go issue23203b 源码

go issue25838 源码

go issue26390 源码

go issue28251 源码

go issue39634 源码

go issue39664 源码

go issue39680 源码

go issue39693 源码