Function encode_type_constraint 

pub fn encode_type_constraint(
    tc: &TypeConstraint,
) -> Result<EncodedTypeConstraint, EncodeError>