Go proposal: Type-safe error checking

Go 1.26 introduces errors.AsType, a generic alternative to errors.As for type-safe error checking. The new function eliminates reflection overhead, prevents runtime panics, and reduces verbosity by allowing inline type specification. It offers compile-time type safety, better performance, and cleaner scoping of error variables within conditional blocks while maintaining full compatibility with existing error handling patterns.