Fix and add test

Author: 333fred

src/Compilers/CSharp/Portable/Symbols/Synthesized/Records/SynthesizedRecordEquals.cs

@@ -136,7 +136,7 @@ internal override void GenerateMethodBody(TypeCompilationState compilationState,
                         fields.Add(f);
 
                         var parameterType = f.Type;
-                        if (parameterType.ContainsPointerOrFunctionPointer() || parameterType.IsRestrictedType())
+                        if (parameterType.IsPointerOrFunctionPointer() || parameterType.IsRestrictedType())
                         {
                             // We'll have reported a diagnostic elsewhere (SourceMemberFieldSymbol.TypeChecks)
                             foundBadField = true;

src/Compilers/CSharp/Test/Emit3/Semantics/RecordTests.cs

@@ -1490,6 +1490,58 @@ public unsafe static void Main()
             CompileAndVerify(comp, expectedOutput: "P1 P2 P3 RAN", verify: Verification.Skipped /* pointers */);
         }
 
+        [Fact]
+        [WorkItem(48115, "https://github.com/dotnet/roslyn/issues/48115")]
+        [WorkItem("https://github.com/dotnet/roslyn/issues/66312")]
+        public void RestrictedTypesAndPointerTypes_PointerTypeAllowedForNestedTypes()
+        {
+            var src = @"
+class C<T> { }
+
+unsafe record C(int*[] P1)
+{
+    public unsafe static void Main()
+    {
+        var x = new C((int*[])null);
+        var x2 = x.P1;
+        System.Console.Write(""RAN"");
+    }
+}
+";
+            var comp = CreateCompilation(new[] { src, IsExternalInitTypeDefinition }, options: TestOptions.UnsafeDebugExe);
+            comp.VerifyEmitDiagnostics();
+            var verifier = CompileAndVerify(comp, expectedOutput: "RAN", verify: Verification.Skipped /* pointers */);
+
+            verifier.VerifyIL("C.Equals(C)", """
+                {
+                  // Code size       55 (0x37)
+                  .maxstack  3
+                  IL_0000:  ldarg.0
+                  IL_0001:  ldarg.1
+                  IL_0002:  beq.s      IL_0035
+                  IL_0004:  ldarg.1
+                  IL_0005:  brfalse.s  IL_0032
+                  IL_0007:  ldarg.0
+                  IL_0008:  callvirt   "System.Type C.EqualityContract.get"
+                  IL_000d:  ldarg.1
+                  IL_000e:  callvirt   "System.Type C.EqualityContract.get"
+                  IL_0013:  call       "bool System.Type.op_Equality(System.Type, System.Type)"
+                  IL_0018:  brfalse.s  IL_0032
+                  IL_001a:  call       "System.Collections.Generic.EqualityComparer<int*[]> System.Collections.Generic.EqualityComparer<int*[]>.Default.get"
+                  IL_001f:  ldarg.0
+                  IL_0020:  ldfld      "int*[] C.<P1>k__BackingField"
+                  IL_0025:  ldarg.1
+                  IL_0026:  ldfld      "int*[] C.<P1>k__BackingField"
+                  IL_002b:  callvirt   "bool System.Collections.Generic.EqualityComparer<int*[]>.Equals(int*[], int*[])"
+                  IL_0030:  br.s       IL_0033
+                  IL_0032:  ldc.i4.0
+                  IL_0033:  br.s       IL_0036
+                  IL_0035:  ldc.i4.1
+                  IL_0036:  ret
+                }
+                """);
+        }
+
         [Fact]
         [WorkItem(48115, "https://github.com/dotnet/roslyn/issues/48115")]
         [WorkItem("https://github.com/dotnet/roslyn/issues/66312")]