cast constraints