The macro should be able to export diagrams even if the state machine fails verification

[jmg-duarte]

Having the machine export diagrams is a feature useful as documentation but also as a debugging tool. Allowing the macro to export diagrams before verification would help debugging

[jmg-duarte]

The problem starts here:

typestate-rs/typestate-proc-macro/src/lib.rs

Lines 75 to 91 in 9799ae1

	bail_if_any!(visitors::state::visit_states(
	&mut module,
	&mut state_machine_info,
	state_constructors_ident,
	));
	// Visit non-deterministic transitions
	bail_if_any!(visitors::decision::visit_non_deterministic(
	&mut module,
	&mut state_machine_info
	));
	// Visit transitions
	bail_if_any!(visitors::transition::visit_transitions(
	&mut module,
	&mut state_machine_info
	));

While bailing early is useful to avoid processing malformed state machines, we still want to able to look at them, hence we must build them regardless and only run validations in the end.