proposal: reflect: add `Value.TypeAssert[T any]`

[mateusz834]

Proposal Details

Assumes #77273

With generic methods, we can make TypeAssert easier to use.

Proposal:

// TypeAssert is semantically equivalent to:
//
//	v2, ok := v.Interface().(T)
func (v Value) TypeAssert[T any] (v2 T, ok bool)

And we can mark the normal TypeAssert with go:fix inline:

//go:fix inline
func TypeAssert[T any](v Value) (T,  bool) {
        return v.TypeAssert[T]()
}

[gabyhelp]

Related Issues

• proposal: reflect: add `Value.As[T any]` for unpacking Values into Go types #78007
• reflect: add TypeAssert #62121 (closed)
• proposal: type assertion between generic types #73315 (closed)
• proposal: reflect: add generic variants of `TypeOf()` and `ValueOf()` #50741 (closed)
• reflect: TypeAssert[T] is not identical to Interface().(T) #74404 (closed)
• proposal: errors: Add generic errors.As #53045 (closed)
• x/tools/gopls/internal/analysis/modernize: add pass to use reflect.TypeAssert #75422
• proposal: testing: add assertion methods #52555 (closed)

Related Code Changes

• reflect: add TypeAssert

Related Documentation

• Package reflect > func TypeAssert

_{(Emoji vote if this was helpful or unhelpful; more detailed feedback welcome in this discussion.)}

[dolmen]

I don't see how it would be "easier to use".