1// compile
2
3// Copyright 2018 The Go Authors. All rights reserved.
4// Use of this source code is governed by a BSD-style
5// license that can be found in the LICENSE file.
6
7package main
8
9type T interface {
10	M(P)
11}
12
13type M interface {
14	F() P
15}
16
17type P = interface {
18	// The compiler cannot handle this case. Disabled for now.
19	// See issue #25838.
20	// I() M
21}
22
23func main() {}
24