This directory holds tests for valid and invalid returns from functions. See the feature specification for details, or the formal spec once integrated.