mirror of
https://github.com/golang/go
synced 2024-11-25 14:57:57 -07:00
9dc22b6d6f
typecheck.c is now responsible for all type checking except for assignment and function argument "..." R=ken OCL=32661 CL=32667
38 lines
687 B
Go
38 lines
687 B
Go
// errchk $G $D/$F.go
|
|
|
|
// Copyright 2009 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.
|
|
|
|
// Check that interface{M()} = *interface{M()} produces a compiler error.
|
|
|
|
package main
|
|
|
|
type Inst interface {
|
|
Next() *Inst;
|
|
}
|
|
|
|
type Regexp struct {
|
|
code []Inst;
|
|
start Inst;
|
|
}
|
|
|
|
type Start struct {
|
|
foo *Inst;
|
|
}
|
|
|
|
func (start *Start) Next() *Inst { return nil }
|
|
|
|
|
|
func AddInst(Inst) *Inst {
|
|
print("ok in addinst\n");
|
|
return nil
|
|
}
|
|
|
|
func main() {
|
|
re := new(Regexp);
|
|
print("call addinst\n");
|
|
var x Inst = AddInst(new(Start)); // ERROR "illegal|incompatible|is not"
|
|
print("return from addinst\n");
|
|
}
|