bodyEnded property
Whether the body has ended — returned or thrown.
From this moment a value coming out of a call the body walked away from can no longer reach it, and the rules of a domain have nothing left to guard.
Implementation
@protected
bool get bodyEnded => _bodyEnded;