Searched refs:match_arm_split_threshold (Results 1 – 2 of 2) sorted by relevance
228 options.match_arm_split_threshold = Some(4); in run_compilation()232 options.match_arm_split_threshold = Some(value.parse().unwrap_or_else(|err| { in run_compilation()
43 pub match_arm_split_threshold: Option<usize>, field89 match_arm_split_threshold: Option<usize>, field108 match_arm_split_threshold: Option<usize>, in new()120 match_arm_split_threshold, in new()473 options.match_arm_split_threshold, in generate_internal_term_constructors()813 .match_arm_split_threshold in emit_block_contents()