Should be obviously correct. Includes minimal test case. A future CL should clear up the logic around typecheckok and importpkg != nil someday. R=rsc, dsymonds, rsc CC=golang-dev https://golang.org/cl/5652057