go issue49541 源码

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

golang issue49541 代码

文件路径:/src/cmd/compile/internal/types2/testdata/fixedbugs/issue49541.go

// 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 S[A, B any] struct {
	f int
}

func (S[A, B]) m() {}

// TODO(gri): with type-type inference enabled we should only report one error
// below. See issue #50588.

func _[A any](s S /* ERROR got 1 arguments but 2 type parameters */ [A]) {
	// we should see no follow-on errors below
	s.f = 1
	s.m()
}

// another test case from the issue

func _() {
	X(Interface[*F /* ERROR got 1 arguments but 2 type parameters */ [string]](Impl{}))
}

func X[Q Qer](fs Interface[Q]) {
}

type Impl struct{}

func (Impl) M() {}

type Interface[Q Qer] interface {
	M()
}

type Qer interface {
	Q()
}

type F[A, B any] struct{}

func (f *F[A, B]) Q() {}

相关信息

go 源码目录

相关文章

go issue20583 源码

go issue23203a 源码

go issue23203b 源码

go issue25838 源码

go issue26390 源码

go issue28251 源码

go issue39634 源码

go issue39664 源码

go issue39680 源码

go issue39693 源码