describe

type Result struct {
	Rebinds       *diag.Pos                 `json:"rebinds,omitempty"`
	Async         *check.AsyncDescription   `json:"async,omitempty"`
	Lazy          *check.LazyDescription    `json:"lazy,omitempty"`
	Assembly      *check.Assembly           `json:"assembly,omitempty"`
	Documentation string                    `json:"documentation,omitempty"`
	SchemaVersion int                       `json:"schema_version"`
	Position      diag.Pos                  `json:"position"`
	Type          string                    `json:"type"`
	Expression    string                    `json:"expression,omitempty"`
	Definition    *diag.Pos                 `json:"definition,omitempty"`
	Methods       []check.MethodDescription `json:"methods"`
	Facts         []check.KnownFact         `json:"facts"`
	// BelongsTo lists the scopes the value belongs to: it is usable
	// while all of them are open.
	BelongsTo []string `json:"belongs_to,omitempty"`
	// Ownership says whether a resource variable was acquired here and
	// can be moved, is borrowed, is kept by a task or a channel, or was
	// moved.
	Ownership string                     `json:"ownership,omitempty"`
	Proof     *check.Proof               `json:"proof,omitempty"`
	Callable  *check.CallableDescription `json:"callable,omitempty"`
	// TailCall says, at a call of a function by itself, whether it is
	// compiled as a jump.
	TailCall *check.TailCall `json:"tail_call,omitempty"`
}

type Selection struct {
	Expr       check.Expr
	Func       *check.Func
	Package    *check.Package
	Type       check.Type
	Expression string
	Definition *diag.Pos
	Site       diag.Pos
	Value      bool
	Callable   *check.CallableDescription
	Assembly   *check.Assembly
	TailCall   *check.TailCall
}