// 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. package main type R interface { duplicate() } type S interface { duplicate() } type T interface { R; S } // ERROR "duplicate" func main() { }