Comment 2:

Labels changed: added go1.3maybe.

Comment 3:

Labels changed: added release-none, removed go1.3maybe.

Comment 4:

Labels changed: added repo-tools.

Comment 5:

Here's a concrete suggestion: the local type should have name that is not a valid Go
identifier, e.g. main.T$1, where 1 is a sequence number for fresh identifiers.
For the record: gc and go/types behave the same:
% cat ~/5501.go 
package main
import "fmt"
type T int
var outer T
func main() {
    type T int
    var inner T
    fmt.Printf("%T %T\n", outer, inner)
}
% go run ~/5501.go 
main.T main.T
% ./ssadump -run ~/5501.go 
main.T main.T

This shouldn't be too hard to address. Try for 1.9.

Better suggestion than #5501 (comment):

Print a type together with position information; that will remove any ambiguity. This can be optimized such that the position information is only present if there two types with the same name in the same package.

Shouldn't be too hard to do but may affect tests that rely on a specific output format. Thus moving to Go1.10.