Added test exercising use of a records in classes different from where they are declared