Detail: adjust names of derived record types

(The type name `DerivedEmptyGenericRecord` suggests that it is generic,
which is not the case; `DerivedFromEmptyGenericRecord` is more accurate.
For consistency, let's apply the same name change to `EmptyRecord` and
its subtype.)

src/Castle.Core.Tests/DynamicProxy.Tests/Records/DerivedEmptyGenericRecord.cs → src/Castle.Core.Tests/DynamicProxy.Tests/Records/DerivedFromEmptyGenericRecord.cs

@@ -14,7 +14,7 @@
 
 namespace Castle.DynamicProxy.Tests.Records
 {
-	public record DerivedEmptyGenericRecord : EmptyGenericRecord<object>
+	public record DerivedFromEmptyGenericRecord : EmptyGenericRecord<object>
 	{
 	}
 }

src/Castle.Core.Tests/DynamicProxy.Tests/Records/DerivedEmptyRecord.cs → src/Castle.Core.Tests/DynamicProxy.Tests/Records/DerivedFromEmptyRecord.cs

@@ -14,7 +14,7 @@
 
 namespace Castle.DynamicProxy.Tests.Records
 {
-	public record DerivedEmptyRecord : EmptyRecord
+	public record DerivedFromEmptyRecord : EmptyRecord
 	{
 	}
 }

src/Castle.Core.Tests/DynamicProxy.Tests/RecordsTestCase.cs

@@ -28,9 +28,9 @@ public void Can_proxy_empty_record()
 		}
 
 		[Test]
-		public void Can_proxy_derived_empty_record()
+		public void Can_proxy_record_derived_from_empty_record()
 		{
-			_ = generator.CreateClassProxy<DerivedEmptyRecord>(new StandardInterceptor());
+			_ = generator.CreateClassProxy<DerivedFromEmptyRecord>(new StandardInterceptor());
 		}
 
 		[Test]
@@ -40,9 +40,9 @@ public void Can_proxy_empty_generic_record()
 		}
 
 		[Test]
-		public void Can_proxy_derived_empty_generic_record()
+		public void Can_proxy_record_derived_from_empty_generic_record()
 		{
-			_ = generator.CreateClassProxy<DerivedEmptyGenericRecord>(new StandardInterceptor());
+			_ = generator.CreateClassProxy<DerivedFromEmptyGenericRecord>(new StandardInterceptor());
 		}
 	}
 }