Searched refs:check_values (Results 1 – 1 of 1) sorted by relevance
624 bool check_values = false; in HandleTypeCheckInstruction() local636 check_values = true; in HandleTypeCheckInstruction()644 check, /* input_pos= */ 2, check_values, expected_path_to_root, "path_to_root"); in HandleTypeCheckInstruction()645 CheckTypeCheckBitstringInput(check, /* input_pos= */ 3, check_values, expected_mask, "mask"); in HandleTypeCheckInstruction()