This test verifies that we don't drop type checking errors on the floor when we
fail to compute positions for their related errors.
-- go.mod --
module play.ground
-- p.go --
package p
import (
. "play.ground/foo"
)
const C = 1 //@diag("C", re"C already declared through dot-import")
var _ = C
-- foo/foo.go --
package foo
const C = 2