diff --git a/src/Compilers/CSharp/Portable/Emitter/Model/PEModuleBuilder.cs b/src/Compilers/CSharp/Portable/Emitter/Model/PEModuleBuilder.cs
index c6100cd30f95..d234b1d67673 100644
--- a/src/Compilers/CSharp/Portable/Emitter/Model/PEModuleBuilder.cs
+++ b/src/Compilers/CSharp/Portable/Emitter/Model/PEModuleBuilder.cs
@@ -1562,7 +1562,6 @@ internal SynthesizedAttributeData SynthesizeRequiresLocationAttribute(ParameterS
             if ((object)Compilation.SourceModule != symbol.ContainingModule)
             {
                 // For symbols that are not defined in the same compilation (like NoPia), don't synthesize this attribute.
-                Debug.Assert(false); // PROTOTYPE: Test this code path.
                 return null;
             }
 
diff --git a/src/Compilers/CSharp/Test/Emit2/Semantics/RefReadonlyParameterTests.cs b/src/Compilers/CSharp/Test/Emit2/Semantics/RefReadonlyParameterTests.cs
index 5756fdc623ed..8e63be68e395 100644
--- a/src/Compilers/CSharp/Test/Emit2/Semantics/RefReadonlyParameterTests.cs
+++ b/src/Compilers/CSharp/Test/Emit2/Semantics/RefReadonlyParameterTests.cs
@@ -715,7 +715,7 @@ static void verify(ModuleSymbol m)
             {
                 var p = m.GlobalNamespace.GetMember<MethodSymbol>("<>A{00000004}.Invoke").Parameters.Single();
                 VerifyRefReadonlyParameter(p,
-                    // PROTOTYPE: Invoke method is virtual but no modreq is emitted. This happens for `in` parameters, as well.
+                    // Invoke method is virtual but no modreq is emitted. https://github.com/dotnet/roslyn/issues/69079
                     useSiteError: true);
             }
         }
@@ -4720,4 +4720,47 @@ void M({{modifier}} int x) { }
         var methodFromClass = comp.GetMembers("C.M").Cast<MethodSymbol>().Single(m => m.Parameters.Single().RefKind == RefKind.RefReadOnly);
         Assert.Same(methodFromCref, methodFromClass.GetPublicSymbol());
     }
+
+    [Fact]
+    public void NoPia()
+    {
+        var source1 = """
+            using System;
+            using System.Runtime.InteropServices;
+            [assembly: ImportedFromTypeLib("test.dll")]
+            [assembly: Guid("EB40B9A2-B368-4001-93E4-8571A8AB3215")]
+            [ComImport, Guid("EB40B9A2-B368-4001-93E4-8571A8AB3215")]
+            public interface Test
+            {
+                void Method(ref readonly int x);
+            }
+            """;
+        var comp1 = CreateCompilationWithMscorlib40(source1).VerifyDiagnostics();
+        var comp1Ref = comp1.ToMetadataReference(embedInteropTypes: true);
+
+        var source2 = """
+            class Program
+            {
+                public void M(Test p)
+                {
+                    var x = 1;
+                    p.Method(in x);
+                }
+            }
+            """;
+        var comp2 = CreateCompilationWithMscorlib40(source2, new[] { comp1Ref });
+        CompileAndVerify(comp2, symbolValidator: verify).VerifyDiagnostics();
+
+        static void verify(ModuleSymbol module)
+        {
+            Assert.Null(module.GlobalNamespace.GetMember<NamedTypeSymbol>(RequiresLocationAttributeQualifiedName));
+
+            var method = module.GlobalNamespace.GetMember<MethodSymbol>("Test.Method");
+            var parameter = method.Parameters.Single();
+            // Because no attribute is embedded with the parameter, it's decoded as `ref`, not `ref readonly`,
+            // and combined with `modreq(In)` that results in a use site error. Same thing happens for `in` parameters.
+            VerifyRefReadonlyParameter(parameter, refKind: false, customModifiers: VerifyModifiers.In, useSiteError: true);
+            Assert.Equal(RefKind.Ref, parameter.RefKind);
+        }
+    }
 }