The vet tool cmd/vet (which consists of x/tools/go/analysis/unitchecker plus a suite of analyzers) currently does analysis fact import/export for all packages; however it imports types from .x files produced by cmd/compile. If instead it were to export both facts and types for all dependencies, the 'go vet' build command could avoid the need to run cmd/compile at all, which would make it much faster.
(This proposal amounts to making cmd/vet do all the work done by the cmd/export tool proposed in #79427. It currently does type importing, but not exporting.)
The vet tool cmd/vet (which consists of x/tools/go/analysis/unitchecker plus a suite of analyzers) currently does analysis fact import/export for all packages; however it imports types from .x files produced by cmd/compile. If instead it were to export both facts and types for all dependencies, the 'go vet' build command could avoid the need to run cmd/compile at all, which would make it much faster.
(This proposal amounts to making cmd/vet do all the work done by the cmd/export tool proposed in #79427. It currently does type importing, but not exporting.)