Comment 1:

Owner changed to @griesemer.

Status changed to Accepted.

Comment 2:

I just noticed that reflect.Type has methods Implements, AssignableTo, and
ConvertibleTo.  Maybe go/types could use the same idiom for these asymmetric methods,
while leaving the symmetric Identical as a func.

Comment 3:

Merged from 6668:
- what factory functions
- what accessors
- accessors vs direct field access

Comment 4:

Issue #6668 has been merged into this issue.

Comment 5:

Labels changed: added go1.3maybe.

Comment 6:

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

Comment 7:

Labels changed: added repo-tools.

Comment 8:

Status update:
- more consistent naming of _exported_ predicates done (dropped leading "Is")
- AssignableTo, ConvertibleTo, Implements exported

Comment 9:

One addition:
 - export Comparable
and a suggestion:
 - the "static bool" parameter to Implements is a confusing.  Move the static=false case into its own function named, e.g., Assertible or CanAssert or ValidTypeAssertion
On a related note, the doc for MethodSet.MissingMethod needs to be fixed:  The last bit
"...where x is of interface type typ)"
should read
"...where x is of interface type V)"

Comment 10:

I wasn't sure if my previous suggestion made sense or not so I went ahead and
implemented it:
https://golang.org/cl/58540044/
OK if I mail this change?

Comment 11 by MWSherman:

Glad to see Comparable is exported, that’s handy. Any interest in exporting the other
predicates, like isOrdered et al?

Comment 12:

IsOrdered et al are available in Basic.Info.  I'm hesitant to add helper functions that
wrap only a type assertion and a bit check; it makes the API busier than necessary.

Comment 13 by matt@stackoverflow.com:

@gordon Legitimate argument, they really are small helpers. I’d be tempted to have a
single helper along the lines of would be handy:
func HasBasicInfo(typ Type, b BasicInfo) bool {
        t, ok := typ.Underlying().(*Basic)
        return ok && t.info&b!= 0
}
(Not a great name but you get the idea.)

Several (most?) of the suggestions have been implemented; it's too late for the remaining ones. The API may be extended but otherwise is now frozen.