1 package DX::Step::FailRecheck;
7 has resume_search_state => (is => 'ro', isa => SearchState, required => 1);
9 has resolution_space => (is => 'ro', isa => ResolutionSpace, required => 1);
11 has exhaustion_depends_on => (is => 'ro', isa => DependencyList);
14 my ($self, $old_ss) = @_;
15 trace recheck => [ statement => [ [ symbol => 'fail_recheck' ] ] ];
16 trace recheck => [ 'leave_block' ];
17 return $self->resume_search_state->but(
19 => $self->resolution_space
20 ->remaining_resolution_space
21 ->with_geometry_dependencies($self->exhaustion_depends_on)