package p

// Here the same alias refers to different types in old and new.
// We correctly detect the problem, but the message is poor.

// both
type t1 int
type t2 bool

// old
type A = t1

// new
// i t1: changed from int to bool
type A = t2

// old
type B = int

// new
// i B: changed from int to B
type B int

// old
type C int

// new
// OK: merging types
type C = int