CheckExpr type checks the expression expr as if it had appeared at position pos of package pkg.

CorrectTypesInfo corrects types info to avoid there are two instances for the same Go object.

DeleteObjects deletes all objects defined in Go files and returns deleted objects.

ExprString returns the (possibly shortened) string representation for x.

NewChecker returns a new Checker instance for a given package.

NewRecorder creates a new recorder for cl.NewPackage.

WriteExpr writes the (possibly shortened) string representation for x to buf.

A Checker maintains the state of the type checker.

Info holds result type information for a type-checked package.

A CheckConfig specifies the configuration for type checking.