// errorcheck -lang=go1.13 // Copyright 2019 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 p type I interface { M() } type _ interface { I I // ERROR "duplicate method M" }