.. block_height_type_fail.adl block_timestamp_type_fail.adl const_tuple_declaration.adl const_type_error_fail.adl constant_finalize.adl constant_loop_bound.adl constant_loop_bound_type_mismatch_fail.adl decreasing_constant_loop_bound_fail.adl duplicate_global_constant_fail.adl global_shadowing_constant_fail.adl local_const_shadows_global_fail.adl local_shadowing_fail.adl loop_unrolling.adl reassignment_fail.adl tuple_definition_fail.adl tuple_shadow_fail.adl unroll_loop_with_tuple_definition.adl