Redirecting to https://smithy.io/1.0/spec/core/type-refinement-traits.html