1// errorcheck
2
3// Copyright 2017 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 p
8
9type A interface {
10	// TODO(mdempsky): This should be an error, but this error is
11	// nonsense. The error should actually mention that there's a
12	// type loop.
13	Fn(A.Fn) // ERROR "type A has no method Fn|A.Fn undefined|A.Fn is not a type"
14}
15