Skip to content

Instantly share code, notes, and snippets.

@kubo39

kubo39/ice1.go

Last active September 18, 2021 13:15
Show Gist options
  • Save kubo39/8dfdc5a18d4e9b6b6e188e4d0766a7ff to your computer and use it in GitHub Desktop.
Save kubo39/8dfdc5a18d4e9b6b6e188e4d0766a7ff to your computer and use it in GitHub Desktop.
Download ZIP
go generics ICE
Raw
ice1.go
package main
import "fmt"
// T interface{ uint8 } だと通る
func Foo[T interface{ int }, S interface{ *T }](x T) S {
// ここで incompatible type: cannot use &x (value of type *T) as S value となるべき?
// -> いやむしろ *T --> *uint8 になるのがおかしいのか
return &x
}
func main() {
var x int = 42
y := Foo(x)
fmt.Println(y)
}
Raw
ice1_log.txt
# command-line-arguments
./foo.go:7:9: internal compiler error: found illegal assignment PTR-*.shape.int_0 -> .shape.*uint8_1;
goroutine 1 [running]:
runtime/debug.Stack()
/home/kubo39/dev/go/go/src/runtime/debug/stack.go:24 +0x65
cmd/compile/internal/base.FatalfAt({0x0, 0x0}, {0xd0ffd4, 0x27}, {0xc00045cd60, 0x3, 0x3})
/home/kubo39/dev/go/go/src/cmd/compile/internal/base/print.go:227 +0x154
cmd/compile/internal/base.Fatalf(...)
/home/kubo39/dev/go/go/src/cmd/compile/internal/base/print.go:196
cmd/compile/internal/noder.assignconvfn({0xe6c010, 0xc000463220}, 0xc00041dab0)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/transform.go:417 +0x1b2
cmd/compile/internal/noder.typecheckaste(0x98, {0xc0004631d0, 0xc000463220}, 0x0, 0xc00045ce80, {0xc000408a00, 0x1, 0xc00045ce80})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/transform.go:484 +0x179
cmd/compile/internal/noder.transformReturn(0xc0004631d0)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/transform.go:505 +0xa8
cmd/compile/internal/noder.(*subster).node.func1({0xe6e270, 0xc000443a90})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:993 +0x7cb
cmd/compile/internal/noder.(*subster).node(0xc00041db20, {0xe6e270, 0xc000443a90})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:1166 +0xa5
cmd/compile/internal/noder.(*subster).list(0xc000404300, {0xc000408800, 0x1, 0xc0000be550})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:1418 +0x8e
cmd/compile/internal/noder.(*irgen).genericSubst(0xc00045e000, 0xc000462ff0, 0xc000460000, {0xc000408980, 0x2, 0x2}, 0x0, 0xc00040cb28)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:765 +0xce6
cmd/compile/internal/noder.(*irgen).getInstantiation(0xc00045e000, 0xc000460000, {0xc000408970, 0x2, 0x2}, 0x0)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:643 +0x2b0
cmd/compile/internal/noder.(*irgen).stencil.func1({0xe6c718, 0xc000430480})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:108 +0x2df
cmd/compile/internal/ir.Visit.func1({0xe6c718, 0xc000430480})
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:105 +0x30
cmd/compile/internal/ir.(*AssignStmt).doChildren(0xc000443d60, 0xc00040cb10)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/node_gen.go:152 +0x82
cmd/compile/internal/ir.DoChildren(...)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:94
cmd/compile/internal/ir.Visit.func1({0xe6c330, 0xc000443d60})
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:106 +0x57
cmd/compile/internal/ir.doNodes({0xc000417380, 0x4, 0x0}, 0xc00040cb10)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/node_gen.go:1512 +0x67
cmd/compile/internal/ir.(*Func).doChildren(0xe6d078, 0xc00040a420)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/func.go:152 +0x2e
cmd/compile/internal/ir.DoChildren(...)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:94
cmd/compile/internal/ir.Visit.func1({0xe6d078, 0xc00040a420})
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:106 +0x57
cmd/compile/internal/ir.Visit({0xe6d078, 0xc00040a420}, 0xc0004174c0)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:108 +0xb8
cmd/compile/internal/noder.(*irgen).stencil(0xc00045e000)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:90 +0x238
cmd/compile/internal/noder.(*irgen).generate(0xc00045e000, {0xc00009eb40, 0x2, 0x2})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/irgen.go:301 +0x359
cmd/compile/internal/noder.check2({0xc00009eb40, 0x2, 0x2})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/irgen.go:93 +0x175
cmd/compile/internal/noder.LoadPackage({0xc0000b8100, 0x2, 0x0})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/noder.go:90 +0x335
cmd/compile/internal/gc.Main(0xd23420)
/home/kubo39/dev/go/go/src/cmd/compile/internal/gc/main.go:190 +0xaf3
main.main()
/home/kubo39/dev/go/go/src/cmd/compile/main.go:55 +0xdd
Raw
ice2.go
package main
import "fmt"
func Foo[T interface { *int }](x T) *int {
return x
}
func main() {
x := 42
y := Foo(&x)
fmt.Println(*y)
}
Raw
ice2_log.txt
# command-line-arguments
./foo.go:12:15: internal compiler error: found illegal assignment .shape.*uint8_0 -> PTR-*int; hoge
goroutine 1 [running]:
runtime/debug.Stack()
/home/kubo39/dev/go/go/src/runtime/debug/stack.go:24 +0x65
cmd/compile/internal/base.FatalfAt({0xcecc22, 0x0}, {0xd0ffdf, 0x27}, {0xc0000ecd60, 0x3, 0x3})
/home/kubo39/dev/go/go/src/cmd/compile/internal/base/print.go:227 +0x154
cmd/compile/internal/base.Fatalf(...)
/home/kubo39/dev/go/go/src/cmd/compile/internal/base/print.go:196
cmd/compile/internal/noder.assignconvfn({0xe6dd18, 0xc0000f0b60}, 0xc0000b0770)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/transform.go:417 +0x1b2
cmd/compile/internal/noder.typecheckaste(0xb8, {0xc0000f3090, 0xc0000f0b60}, 0x0, 0xc0000ece80, {0xc000094930, 0x1, 0xc0000ece80})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/transform.go:484 +0x179
cmd/compile/internal/noder.transformReturn(0xc0000f3090)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/transform.go:505 +0xa8
cmd/compile/internal/noder.(*subster).node.func1({0xe6e290, 0xc0000d5950})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:993 +0x7cb
cmd/compile/internal/noder.(*subster).node(0xc0000b1960, {0xe6e290, 0xc0000d5950})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:1166 +0xa5
cmd/compile/internal/noder.(*subster).list(0xc0000a0300, {0xc000094770, 0x1, 0xc00012c550})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:1418 +0x8e
cmd/compile/internal/noder.(*irgen).genericSubst(0xc0000ee000, 0xc0000f2eb0, 0xc0000afee0, {0xc0000a02d8, 0x1, 0x1}, 0x0, 0xc0000a4ab0)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:765 +0xce6
cmd/compile/internal/noder.(*irgen).getInstantiation(0xc0000ee000, 0xc0000afee0, {0xc0000a02d0, 0x1, 0x1}, 0x0)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:643 +0x2b0
cmd/compile/internal/noder.(*irgen).stencil.func1({0xe6c738, 0xc0000c2480})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:108 +0x2df
cmd/compile/internal/ir.Visit.func1({0xe6c738, 0xc0000c2480})
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:105 +0x30
cmd/compile/internal/ir.(*AssignStmt).doChildren(0xc0000d5c20, 0xc0000a4a98)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/node_gen.go:152 +0x82
cmd/compile/internal/ir.DoChildren(...)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:94
cmd/compile/internal/ir.Visit.func1({0xe6c350, 0xc0000d5c20})
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:106 +0x57
cmd/compile/internal/ir.doNodes({0xc0000ab380, 0x3, 0x0}, 0xc0000a4a98)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/node_gen.go:1512 +0x67
cmd/compile/internal/ir.(*Func).doChildren(0xe6d098, 0xc0000a2420)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/func.go:152 +0x2e
cmd/compile/internal/ir.DoChildren(...)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:94
cmd/compile/internal/ir.Visit.func1({0xe6d098, 0xc0000a2420})
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:106 +0x57
cmd/compile/internal/ir.Visit({0xe6d098, 0xc0000a2420}, 0xc0000ab400)
/home/kubo39/dev/go/go/src/cmd/compile/internal/ir/visit.go:108 +0xb8
cmd/compile/internal/noder.(*irgen).stencil(0xc0000ee000)
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/stencil.go:90 +0x238
cmd/compile/internal/noder.(*irgen).generate(0xc0000ee000, {0xc00010ab40, 0x2, 0x2})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/irgen.go:301 +0x359
cmd/compile/internal/noder.check2({0xc00010ab40, 0x2, 0x2})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/irgen.go:93 +0x175
cmd/compile/internal/noder.LoadPackage({0xc000126100, 0x2, 0x0})
/home/kubo39/dev/go/go/src/cmd/compile/internal/noder/noder.go:90 +0x335
cmd/compile/internal/gc.Main(0xd23430)
/home/kubo39/dev/go/go/src/cmd/compile/internal/gc/main.go:190 +0xaf3
main.main()
/home/kubo39/dev/go/go/src/cmd/compile/main.go:55 +0xdd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment