Interface Fact

go/analysis/analysis.go:248–250

A Fact is an intermediate fact produced during analysis. Each fact is associated with a named declaration (a types.Object) or with a package as a whole. A single object or package may have multiple associated facts, but only one of any particular fact type. A Fact represents a predicate such as "n

//
// A Fact should not be modified once exported.
type Fact interface {
	AFact() // dummy method to avoid type errors
}

// A Module describes the module to which a package belongs.
type Module struct {