mirror of
https://github.com/golang/go
synced 2024-11-23 01:30:02 -07:00
fdf3496fcc
When doing a type conversion using a type param, delay the transformation to OCONV/OCONVNOP until stenciling, since the nodes created depend on the actual type. Re-enable the fact.go test. Change-Id: I3d5861aab3dd0e781d767f67435afaf951dfe451 Reviewed-on: https://go-review.googlesource.com/c/go/+/290752 Trust: Dan Scales <danscales@google.com> Trust: Robert Griesemer <gri@golang.org> Run-TryBot: Dan Scales <danscales@google.com> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Robert Griesemer <gri@golang.org>
33 lines
644 B
Go
33 lines
644 B
Go
// run -gcflags=-G=3
|
|
|
|
// Copyright 2021 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"
|
|
|
|
func fact[T interface { type int, int64, float64 }](n T) T {
|
|
if n == T(1) {
|
|
return T(1)
|
|
}
|
|
return n * fact(n - T(1))
|
|
}
|
|
|
|
func main() {
|
|
const want = 120
|
|
|
|
if got := fact(5); got != want {
|
|
panic(fmt.Sprintf("got %d, want %d", got, want))
|
|
}
|
|
|
|
if got := fact[int64](5); got != want {
|
|
panic(fmt.Sprintf("got %d, want %d", got, want))
|
|
}
|
|
|
|
if got := fact(5.0); got != want {
|
|
panic(fmt.Sprintf("got %f, want %f", got, want))
|
|
}
|
|
}
|