Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
cmd/compile: fix transform of OEQ/ONE when one arg is a type param
At this point in stenciling, we have shape types, not raw type parameters. The code was correct in the other part of this function. Update #51522 Change-Id: Ife495160a2be5f6af5400363c3efb68dda518b5f Reviewed-on: https://go-review.googlesource.com/c/go/+/391475 Trust: Keith Randall <khr@golang.org> Run-TryBot: Keith Randall <khr@golang.org> Reviewed-by: Cuong Manh Le <cuong.manhle.vn@gmail.com> TryBot-Result: Gopher Robot <gobot@golang.org> Reviewed-by: Ian Lance Taylor <iant@golang.org>
- Loading branch information
Showing
2 changed files
with
43 additions
and
1 deletion.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,42 @@ | ||
// 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 | ||
|
||
|
||
func f[T comparable](i any) { | ||
var t T | ||
|
||
if i != t { | ||
println("FAIL: if i != t") | ||
} | ||
} | ||
|
||
type myint int | ||
|
||
func (m myint) foo() { | ||
} | ||
|
||
type fooer interface { | ||
foo() | ||
} | ||
|
||
type comparableFoo interface { | ||
comparable | ||
foo() | ||
} | ||
|
||
func g[T comparableFoo](i fooer) { | ||
var t T | ||
|
||
if i != t { | ||
println("FAIL: if i != t") | ||
} | ||
} | ||
|
||
func main() { | ||
f[int](int(0)) | ||
g[myint](myint(0)) | ||
} |