pub fn decode_type_constraint( encoded: &EncodedTypeConstraint, ) -> Result<TypeConstraint, DecodeError>