// TestShallowStd type-checks the standard library using shallow export data. func TestShallowStd(t *testing.T) { … } func testShallowStd(t *testing.T) { … } // typecheck reads, parses, and type-checks a package. // It squirrels the export data in the ppkg.ExportFile field. func typecheck(t *testing.T, ppkg *packages.Package) { … } // postTypeCheck is called after a package is type checked. // We use it to assert additional correctness properties, // for example, that the apparent location of "fmt.Println" // corresponds to its source location: in other words, // export+import preserves high-fidelity positions. func postTypeCheck(t *testing.T, fset *token.FileSet, pkg *types.Package) { … }