isCompileGenerated

Author: Edgar Gonzalez

Diff for: src/Compiler/Checking/PostInferenceChecks.fs

@@ -532,8 +532,15 @@ let CheckTypeForAccess (cenv: cenv) env objName valAcc m ty =
             | ValueSome tcref ->
                 let thisCompPath = compPathOfCcu cenv.viewCcu
                 let tyconAcc = tcref.Accessibility |> AccessInternalsVisibleToAsInternal thisCompPath cenv.internalsVisibleToPaths
-
-                if isLessAccessible tyconAcc valAcc then
+                
+                // Skip accessibility checks for compiler-generated pattern inputs, which all have names
+                // starting with "val patternInput". This allows pattern matching to work properly with private
+                // types when the pattern is used within the same module scope.
+                let isCompilerGeneratedPatternInput = 
+                    let name: string = objName()
+                    name.StartsWith("val patternInput")
+                
+                if not isCompilerGeneratedPatternInput && isLessAccessible tyconAcc valAcc then
                     errorR(Error(FSComp.SR.chkTypeLessAccessibleThanType(tcref.DisplayName, objName()), m))
 
         CheckTypeDeep cenv (visitType, None, None, None, None) cenv.g env NoInfo ty
@@ -2058,7 +2065,8 @@ and CheckBinding cenv env alwaysCheckNoReraise ctxt (TBind(v, bindRhs, _) as bin
 
     // Check accessibility
     if (v.IsMemberOrModuleBinding || v.IsMember) && not v.IsIncrClassGeneratedMember then
-        CheckTypeForAccess cenv env (fun () -> NicePrint.stringOfQualifiedValOrMember cenv.denv cenv.infoReader vref) vref.Accessibility v.Range v.Type
+        let access =  AdjustAccess (IsHiddenVal env.sigToImplRemapInfo v) (fun () -> v.DeclaringEntity.CompilationPath) v.Accessibility
+        CheckTypeForAccess cenv env (fun () -> NicePrint.stringOfQualifiedValOrMember cenv.denv cenv.infoReader vref) v.Accessibility v.Range v.Type
 
     if cenv.reportErrors  then