vk · Traits · E1
A registry-declared extension relationship. Implementations are sealed.
TrRustExperimental
Trvk::Extends
Contract
A registry-declared extension relationship. Implementations are sealed.
This proves a native chain type relationship, not enabled features, valid raw pointers, tag uniqueness or GPU resource lifetimes.