Checking the Scope in the Return Type