You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently finish() implementations just perform local validation checks and then return a handle. If they do more serious things like complete the build (actually mutate the HUGR) we may want a mechanism to ensure it is called before the builder is dropped (indeed, that finish() is the only way to drop the builder). However, this is now wondering in to linear types, so: rust-lang/rfcs#814
The text was updated successfully, but these errors were encountered:
Currently
finish()
implementations just perform local validation checks and then return a handle. If they do more serious things like complete the build (actually mutate the HUGR) we may want a mechanism to ensure it is called before the builder is dropped (indeed, thatfinish()
is the only way to drop the builder). However, this is now wondering in to linear types, so: rust-lang/rfcs#814The text was updated successfully, but these errors were encountered: