In other words, it’s an upper bound on a type, not a type assertion for an instance. typeassert(object, type) and the syntax object::type in some contexts is a type assertion, and it’s not currently supported in where clauses, including the implicit one in struct definitions.
2 Likes