File: Compiler\MethodCompiler.cs
Web Access
Project: src\src\Compilers\CSharp\Portable\Microsoft.CodeAnalysis.CSharp.csproj (Microsoft.CodeAnalysis.CSharp)
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
 
#nullable disable
 
using System;
using System.Collections.Concurrent;
using System.Collections.Generic;
using System.Collections.Immutable;
using System.Diagnostics;
using System.Linq;
using System.Threading;
using System.Threading.Tasks;
using Microsoft.CodeAnalysis.CodeGen;
using Microsoft.CodeAnalysis.CSharp.Emit;
using Microsoft.CodeAnalysis.CSharp.Symbols;
using Microsoft.CodeAnalysis.CSharp.Syntax;
using Microsoft.CodeAnalysis.Debugging;
using Microsoft.CodeAnalysis.Diagnostics;
using Microsoft.CodeAnalysis.Emit;
using Microsoft.CodeAnalysis.ErrorReporting;
using Microsoft.CodeAnalysis.PooledObjects;
using Roslyn.Utilities;
using ReferenceEqualityComparer = Roslyn.Utilities.ReferenceEqualityComparer;
 
namespace Microsoft.CodeAnalysis.CSharp
{
    internal sealed class MethodCompiler : CSharpSymbolVisitor<TypeCompilationState, object>
    {
        private readonly CSharpCompilation _compilation;
        private readonly bool _emittingPdb;
        private readonly CancellationToken _cancellationToken;
        private readonly BindingDiagnosticBag _diagnostics;
        private readonly bool _hasDeclarationErrors;
        private readonly bool _emitMethodBodies;
        private readonly PEModuleBuilder _moduleBeingBuiltOpt; // Null if compiling for diagnostics
        private readonly Predicate<Symbol> _filterOpt;         // If not null, limit analysis to specific symbols
        private readonly SynthesizedEntryPointSymbol.AsyncForwardEntryPoint _entryPointOpt;
 
        private DebugDocumentProvider _lazyDebugDocumentProvider;
 
        //
        // MethodCompiler employs concurrency by following flattened fork/join pattern.
        //
        // For every item that we want to compile in parallel a new task is forked.
        // compileTaskQueue is used to track and observe all the tasks.
        // Once compileTaskQueue is empty, we know that there are no more tasks (and no more can be created)
        // and that means we are done compiling. WaitForWorkers ensures this condition.
        //
        // Note that while tasks may fork more tasks (nested types, lambdas, whatever else that may introduce more types),
        // we do not want any child/parent relationship between spawned tasks and their creators.
        // Creator has no real dependencies on the completion of its children and should finish and release any resources
        // as soon as it can regardless of the tasks it may have spawned.
        //
        // Stack is used so that the wait would observe the most recently added task and have
        // more chances to do inlined execution.
        private ConcurrentStack<Task> _compilerTasks;
 
        // This field tracks whether any bound method body had hasErrors set or whether any constant field had a bad value.
        // We track it so that we can abort emission in the event that an error occurs without a corresponding diagnostic
        // (e.g. if this module depends on a bad type or constant from another module).
        // CONSIDER: instead of storing a flag, we could track the first member symbol with an error (to improve the diagnostic).
 
        // NOTE: once the flag is set to true, it should never go back to false!!!
        // Do not use this as a short-circuiting for stages that might produce diagnostics.
        // That would make diagnostics to depend on the random order in which methods are compiled.
        private bool _globalHasErrors;
 
        private void SetGlobalErrorIfTrue(bool arg)
        {
            //NOTE: this is not a volatile write
            //      for correctness we need only single threaded consistency.
            //      Within a single task - if we have got an error it may not be safe to continue with some lowerings.
            //      It is ok if other tasks will see the change after some delay or does not observe at all.
            //      Such races are unavoidable and will just result in performing some work that is safe to do
            //      but may no longer be needed.
            //      The final Join of compiling tasks cannot happen without interlocked operations and that
            //      will ensure that any write of the flag is globally visible.
            if (arg)
            {
                _globalHasErrors = true;
            }
        }
 
        // Internal for testing only.
        internal MethodCompiler(CSharpCompilation compilation, PEModuleBuilder moduleBeingBuiltOpt, bool emittingPdb, bool hasDeclarationErrors, bool emitMethodBodies,
            BindingDiagnosticBag diagnostics, Predicate<Symbol> filterOpt, SynthesizedEntryPointSymbol.AsyncForwardEntryPoint entryPointOpt, CancellationToken cancellationToken)
        {
            Debug.Assert(compilation != null);
            Debug.Assert(diagnostics != null);
            Debug.Assert(diagnostics.DiagnosticBag != null);
            Debug.Assert(diagnostics.DependenciesBag == null || diagnostics.DependenciesBag is ConcurrentSet<AssemblySymbol>);
 
            _compilation = compilation;
            _moduleBeingBuiltOpt = moduleBeingBuiltOpt;
            _emittingPdb = emittingPdb;
            _cancellationToken = cancellationToken;
            _diagnostics = diagnostics;
            _filterOpt = filterOpt;
            _entryPointOpt = entryPointOpt;
 
            _hasDeclarationErrors = hasDeclarationErrors;
            SetGlobalErrorIfTrue(hasDeclarationErrors);
 
            _emitMethodBodies = emitMethodBodies;
        }
 
        public static void CompileMethodBodies(
            CSharpCompilation compilation,
            PEModuleBuilder moduleBeingBuiltOpt,
            bool emittingPdb,
            bool hasDeclarationErrors,
            bool emitMethodBodies,
            BindingDiagnosticBag diagnostics,
            Predicate<Symbol> filterOpt,
            CancellationToken cancellationToken)
        {
            Debug.Assert(compilation != null);
            Debug.Assert(diagnostics != null);
            Debug.Assert(diagnostics.DiagnosticBag != null);
 
            hasDeclarationErrors |= compilation.CheckDuplicateInterceptions(diagnostics);
 
            if (compilation.PreviousSubmission != null)
            {
                // In case there is a previous submission, we should ensure
                // it has already created anonymous type/delegates templates
 
                // NOTE: if there are any errors, we will pick up what was created anyway
                compilation.PreviousSubmission.EnsureAnonymousTypeTemplates(cancellationToken);
 
                // TODO: revise to use a loop instead of a recursion
            }
 
            MethodSymbol entryPoint = null;
            if (filterOpt is null)
            {
                entryPoint = GetEntryPoint(compilation, moduleBeingBuiltOpt, hasDeclarationErrors, emitMethodBodies, diagnostics, cancellationToken);
            }
 
            var methodCompiler = new MethodCompiler(
                compilation,
                moduleBeingBuiltOpt,
                emittingPdb,
                hasDeclarationErrors,
                emitMethodBodies,
                diagnostics,
                filterOpt,
                entryPoint as SynthesizedEntryPointSymbol.AsyncForwardEntryPoint,
                cancellationToken);
 
            if (compilation.Options.ConcurrentBuild)
            {
                methodCompiler._compilerTasks = new ConcurrentStack<Task>();
            }
 
            // directly traverse global namespace (no point to defer this to async)
            methodCompiler.CompileNamespace(compilation.SourceModule.GlobalNamespace);
            methodCompiler.WaitForWorkers();
 
            // compile additional and anonymous types if any
            if (moduleBeingBuiltOpt != null)
            {
                var additionalTypes = moduleBeingBuiltOpt.GetAdditionalTopLevelTypes();
                methodCompiler.CompileSynthesizedMethods(additionalTypes, diagnostics);
 
                var embeddedTypes = moduleBeingBuiltOpt.GetEmbeddedTypes(diagnostics);
                methodCompiler.CompileSynthesizedMethods(embeddedTypes, diagnostics);
 
                // Create and compile HotReloadException type if emitting deltas even if it is not used.
                // We might need to use it for deleted members, which we determine when indexing metadata.
                if (moduleBeingBuiltOpt.TryGetOrCreateSynthesizedHotReloadExceptionType() is { } hotReloadException)
                {
                    methodCompiler.CompileSynthesizedMethods([(NamedTypeSymbol)hotReloadException], diagnostics);
                }
 
                if (emitMethodBodies)
                {
                    // By this time we have processed all types reachable from module's global namespace
                    compilation.AnonymousTypeManager.AssignTemplatesNamesAndCompile(methodCompiler, moduleBeingBuiltOpt, diagnostics);
                }
 
                methodCompiler.WaitForWorkers();
 
                // all threads that were adding methods must be finished now, we can freeze the class:
                var privateImplClass = moduleBeingBuiltOpt.FreezePrivateImplementationDetails();
                if (privateImplClass != null)
                {
                    methodCompiler.CompileSynthesizedMethods(privateImplClass, diagnostics);
                }
            }
 
            // If we are trying to emit and there's an error without a corresponding diagnostic (e.g. because
            // we depend on an invalid type or constant from another module), then explicitly add a diagnostic.
            // This diagnostic is not very helpful to the user, but it will prevent us from emitting an invalid
            // module or crashing.
            if (moduleBeingBuiltOpt != null && (methodCompiler._globalHasErrors || moduleBeingBuiltOpt.SourceModule.HasBadAttributes) && !diagnostics.HasAnyErrors() && !hasDeclarationErrors)
            {
                var messageResourceName = methodCompiler._globalHasErrors ? nameof(CodeAnalysisResources.UnableToDetermineSpecificCauseOfFailure) : nameof(CodeAnalysisResources.ModuleHasInvalidAttributes);
                diagnostics.Add(ErrorCode.ERR_ModuleEmitFailure, NoLocation.Singleton, ((Cci.INamedEntity)moduleBeingBuiltOpt).Name,
                    new LocalizableResourceString(messageResourceName, CodeAnalysisResources.ResourceManager, typeof(CodeAnalysisResources)));
            }
 
            diagnostics.AddRange(compilation.AdditionalCodegenWarnings);
 
            // we can get unused field warnings only if compiling whole compilation.
            if (filterOpt == null)
            {
                WarnUnusedFields(compilation, diagnostics, cancellationToken);
 
                if (moduleBeingBuiltOpt != null && entryPoint != null && compilation.Options.OutputKind.IsApplication())
                {
                    moduleBeingBuiltOpt.SetPEEntryPoint(entryPoint, diagnostics.DiagnosticBag);
                }
            }
        }
 
        // Returns the MethodSymbol for the assembly entrypoint.  If the user has a Task returning main,
        // this function returns the synthesized Main MethodSymbol.
        private static MethodSymbol GetEntryPoint(CSharpCompilation compilation, PEModuleBuilder moduleBeingBuilt, bool hasDeclarationErrors, bool emitMethodBodies, BindingDiagnosticBag diagnostics, CancellationToken cancellationToken)
        {
            Debug.Assert(diagnostics.DiagnosticBag != null);
 
            var entryPointAndDiagnostics = compilation.GetEntryPointAndDiagnostics(cancellationToken);
 
            Debug.Assert(!entryPointAndDiagnostics.Diagnostics.Diagnostics.IsDefault);
            diagnostics.AddRange(entryPointAndDiagnostics.Diagnostics, allowMismatchInDependencyAccumulation: true);
            var entryPoint = entryPointAndDiagnostics.MethodSymbol;
 
            if ((object)entryPoint == null)
            {
                return null;
            }
 
            // entryPoint can be a SynthesizedEntryPointSymbol if a script is being compiled.
            SynthesizedEntryPointSymbol synthesizedEntryPoint = entryPoint as SynthesizedEntryPointSymbol;
            if ((object)synthesizedEntryPoint == null)
            {
                var returnType = entryPoint.ReturnType;
                if (returnType.IsGenericTaskType(compilation) || returnType.IsNonGenericTaskType(compilation))
                {
                    synthesizedEntryPoint = new SynthesizedEntryPointSymbol.AsyncForwardEntryPoint(compilation, entryPoint.ContainingType, entryPoint);
                    entryPoint = synthesizedEntryPoint;
                    if ((object)moduleBeingBuilt != null)
                    {
                        moduleBeingBuilt.AddSynthesizedDefinition(entryPoint.ContainingType, synthesizedEntryPoint.GetCciAdapter());
                    }
                }
            }
 
            if (((object)synthesizedEntryPoint != null) &&
                (moduleBeingBuilt != null) &&
                !hasDeclarationErrors &&
                !diagnostics.HasAnyErrors())
            {
                BoundStatement body = synthesizedEntryPoint.CreateBody(diagnostics);
                if (body.HasErrors || diagnostics.HasAnyErrors())
                {
                    return entryPoint;
                }
 
                VariableSlotAllocator lazyVariableSlotAllocator = null;
                var lambdaDebugInfoBuilder = ArrayBuilder<EncLambdaInfo>.GetInstance();
                var lambdaRuntimeRudeEditsBuilder = ArrayBuilder<LambdaRuntimeRudeEditInfo>.GetInstance();
                var closureDebugInfoBuilder = ArrayBuilder<EncClosureInfo>.GetInstance();
                var stateMachineStateDebugInfoBuilder = ArrayBuilder<StateMachineStateDebugInfo>.GetInstance();
                StateMachineTypeSymbol stateMachineTypeOpt = null;
                const int methodOrdinal = -1;
 
                var loweredBody = LowerBodyOrInitializer(
                    synthesizedEntryPoint,
                    methodOrdinal,
                    body,
                    previousSubmissionFields: null,
                    new TypeCompilationState(synthesizedEntryPoint.ContainingType, compilation, moduleBeingBuilt),
                    instrumentation: MethodInstrumentation.Empty,
                    debugDocumentProvider: null,
                    out ImmutableArray<SourceSpan> codeCoverageSpans,
                    diagnostics,
                    ref lazyVariableSlotAllocator,
                    lambdaDebugInfoBuilder,
                    lambdaRuntimeRudeEditsBuilder,
                    closureDebugInfoBuilder,
                    stateMachineStateDebugInfoBuilder,
                    out stateMachineTypeOpt);
 
                Debug.Assert(lazyVariableSlotAllocator is null);
                Debug.Assert(stateMachineTypeOpt is null);
                Debug.Assert(codeCoverageSpans.IsEmpty);
                Debug.Assert(lambdaDebugInfoBuilder.IsEmpty);
                Debug.Assert(lambdaRuntimeRudeEditsBuilder.IsEmpty);
                Debug.Assert(closureDebugInfoBuilder.IsEmpty);
                Debug.Assert(stateMachineStateDebugInfoBuilder.IsEmpty);
 
                lambdaDebugInfoBuilder.Free();
                lambdaRuntimeRudeEditsBuilder.Free();
                closureDebugInfoBuilder.Free();
                stateMachineStateDebugInfoBuilder.Free();
 
                if (emitMethodBodies)
                {
                    var emittedBody = GenerateMethodBody(
                        moduleBeingBuilt,
                        synthesizedEntryPoint,
                        methodOrdinal,
                        loweredBody,
                        ImmutableArray<EncLambdaInfo>.Empty,
                        ImmutableArray<LambdaRuntimeRudeEditInfo>.Empty,
                        ImmutableArray<EncClosureInfo>.Empty,
                        ImmutableArray<StateMachineStateDebugInfo>.Empty,
                        stateMachineTypeOpt: null,
                        variableSlotAllocatorOpt: null,
                        diagnostics: diagnostics,
                        debugDocumentProvider: null,
                        importChainOpt: null,
                        emittingPdb: false,
                        codeCoverageSpans: ImmutableArray<SourceSpan>.Empty,
                        entryPointOpt: null);
                    moduleBeingBuilt.SetMethodBody(synthesizedEntryPoint, emittedBody);
                }
            }
 
            return entryPoint;
        }
 
        private void WaitForWorkers()
        {
            var tasks = _compilerTasks;
            if (tasks == null)
            {
                return;
            }
 
            Task curTask;
            while (tasks.TryPop(out curTask))
            {
                curTask.GetAwaiter().GetResult();
            }
        }
 
        private static void WarnUnusedFields(CSharpCompilation compilation, BindingDiagnosticBag diagnostics, CancellationToken cancellationToken)
        {
            SourceAssemblySymbol assembly = (SourceAssemblySymbol)compilation.Assembly;
            diagnostics.AddRange(assembly.GetUnusedFieldWarnings(cancellationToken));
        }
 
        // Do not report nullable diagnostics when emitting EnC delta since they are not needed. 
        private bool ReportNullableDiagnostics
            => _moduleBeingBuiltOpt?.IsEncDelta != true;
 
        private DebugDocumentProvider GetDebugDocumentProvider(MethodInstrumentation instrumentation)
        {
            if (_emittingPdb || instrumentation.Kinds.Contains(InstrumentationKind.TestCoverage))
            {
                Debug.Assert(_moduleBeingBuiltOpt != null);
                return _lazyDebugDocumentProvider ??= new DebugDocumentProvider((path, basePath) =>
                    _moduleBeingBuiltOpt.DebugDocumentsBuilder.GetOrAddDebugDocument(path, basePath, CreateDebugDocumentForFile));
            }
 
            return null;
        }
 
        public override object VisitNamespace(NamespaceSymbol symbol, TypeCompilationState arg)
        {
            if (!PassesFilter(_filterOpt, symbol))
            {
                return null;
            }
 
            arg = null; // do not use compilation state of outer type.
            _cancellationToken.ThrowIfCancellationRequested();
 
            if (_compilation.Options.ConcurrentBuild)
            {
                Task worker = CompileNamespaceAsAsync(symbol);
                _compilerTasks.Push(worker);
            }
            else
            {
                CompileNamespace(symbol);
            }
 
            return null;
        }
 
        private Task CompileNamespaceAsAsync(NamespaceSymbol symbol)
        {
            return Task.Run(UICultureUtilities.WithCurrentUICulture(() =>
                {
                    try
                    {
                        CompileNamespace(symbol);
                    }
                    catch (Exception e) when (FatalError.ReportAndPropagateUnlessCanceled(e))
                    {
                        throw ExceptionUtilities.Unreachable();
                    }
                }), _cancellationToken);
        }
 
        private void CompileNamespace(NamespaceSymbol symbol)
        {
            foreach (var s in symbol.GetMembersUnordered())
            {
                s.Accept(this, null);
            }
        }
 
        public override object VisitNamedType(NamedTypeSymbol symbol, TypeCompilationState arg)
        {
            if (!PassesFilter(_filterOpt, symbol))
            {
                return null;
            }
 
            arg = null; // do not use compilation state of outer type.
            _cancellationToken.ThrowIfCancellationRequested();
 
            if (_compilation.Options.ConcurrentBuild)
            {
                Task worker = CompileNamedTypeAsync(symbol);
                _compilerTasks.Push(worker);
            }
            else
            {
                CompileNamedType(symbol);
            }
 
            return null;
        }
 
        private Task CompileNamedTypeAsync(NamedTypeSymbol symbol)
        {
            return Task.Run(UICultureUtilities.WithCurrentUICulture(() =>
                {
                    try
                    {
                        CompileNamedType(symbol);
                    }
                    catch (Exception e) when (FatalError.ReportAndPropagateUnlessCanceled(e))
                    {
                        throw ExceptionUtilities.Unreachable();
                    }
                }), _cancellationToken);
        }
 
        private void CompileNamedType(NamedTypeSymbol containingType)
        {
            var compilationState = new TypeCompilationState(containingType, _compilation, _moduleBeingBuiltOpt);
 
            _cancellationToken.ThrowIfCancellationRequested();
 
            // Find the constructor of a script class.
            SynthesizedInstanceConstructor scriptCtor = null;
            SynthesizedInteractiveInitializerMethod scriptInitializer = null;
            SynthesizedEntryPointSymbol scriptEntryPoint = null;
            int scriptCtorOrdinal = -1;
            if (containingType.IsScriptClass)
            {
                // The field initializers of a script class could be arbitrary statements,
                // including blocks.  Field initializers containing blocks need to
                // use a MethodBodySemanticModel to build up the appropriate tree of binders, and
                // MethodBodySemanticModel requires an "owning" method.  That's why we're digging out
                // the constructor - it will own the field initializers.
                scriptCtor = containingType.GetScriptConstructor();
                scriptInitializer = containingType.GetScriptInitializer();
                scriptEntryPoint = containingType.GetScriptEntryPoint();
                Debug.Assert((object)scriptCtor != null);
                Debug.Assert((object)scriptInitializer != null);
            }
 
            var synthesizedSubmissionFields = containingType.IsSubmissionClass ? new SynthesizedSubmissionFields(_compilation, containingType) : null;
            var processedStaticInitializers = new Binder.ProcessedFieldInitializers();
            var processedInstanceInitializers = new Binder.ProcessedFieldInitializers();
 
            var sourceTypeSymbol = containingType as SourceMemberContainerTypeSymbol;
 
            if ((object)sourceTypeSymbol != null)
            {
                _cancellationToken.ThrowIfCancellationRequested();
                Binder.BindFieldInitializers(_compilation, scriptInitializer, sourceTypeSymbol.StaticInitializers, _diagnostics, ref processedStaticInitializers);
 
                _cancellationToken.ThrowIfCancellationRequested();
                Binder.BindFieldInitializers(_compilation, scriptInitializer, sourceTypeSymbol.InstanceInitializers, _diagnostics, ref processedInstanceInitializers);
 
                if (compilationState.Emitting)
                {
                    CompileSynthesizedExplicitImplementations(sourceTypeSymbol, compilationState);
                }
            }
 
            var members = containingType.GetMembers();
            for (int memberOrdinal = 0; memberOrdinal < members.Length; memberOrdinal++)
            {
                var member = members[memberOrdinal];
 
                //When a filter is supplied, limit the compilation of members passing the filter.
                if (!PassesFilter(_filterOpt, member))
                {
                    continue;
                }
 
                switch (member.Kind)
                {
                    case SymbolKind.NamedType:
                        member.Accept(this, compilationState);
                        break;
 
                    case SymbolKind.Method:
                        {
                            MethodSymbol method = (MethodSymbol)member;
                            if (method.IsScriptConstructor)
                            {
                                Debug.Assert(scriptCtorOrdinal == -1);
                                Debug.Assert((object)scriptCtor == method);
                                scriptCtorOrdinal = memberOrdinal;
                                continue;
                            }
 
                            if ((object)method == scriptEntryPoint)
                            {
                                continue;
                            }
 
                            method = GetMethodToCompile(method);
                            if (method is null)
                            {
                                continue;
                            }
 
                            Binder.ProcessedFieldInitializers processedInitializers =
                                (method.MethodKind == MethodKind.Constructor || method.IsScriptInitializer) ? processedInstanceInitializers :
                                method.MethodKind == MethodKind.StaticConstructor ? processedStaticInitializers :
                                default(Binder.ProcessedFieldInitializers);
 
                            CompileMethod(method, memberOrdinal, ref processedInitializers, synthesizedSubmissionFields, compilationState);
                            break;
                        }
 
                    case SymbolKind.Property:
                        {
                            var sourceProperty = member as SourcePropertySymbolBase;
                            if ((object)sourceProperty != null && sourceProperty.IsSealed && compilationState.Emitting)
                            {
                                CompileSynthesizedSealedAccessors(sourceProperty, compilationState);
                            }
                            break;
                        }
 
                    case SymbolKind.Field:
                        {
                            var fieldSymbol = (FieldSymbol)member;
                            if (member is TupleErrorFieldSymbol)
                            {
                                break;
                            }
 
                            if (fieldSymbol.IsConst)
                            {
                                // We check specifically for constant fields with bad values because they never result
                                // in bound nodes being inserted into method bodies (in which case, they would be covered
                                // by the method-level check).
                                ConstantValue constantValue = fieldSymbol.GetConstantValue(ConstantFieldsInProgress.Empty, earlyDecodingWellKnownAttributes: false);
                                SetGlobalErrorIfTrue(constantValue == null || constantValue.IsBad);
                            }
 
                            if (fieldSymbol.IsFixedSizeBuffer && compilationState.Emitting)
                            {
                                // force the generation of implementation types for fixed-size buffers
                                TypeSymbol discarded = fieldSymbol.FixedImplementationType(compilationState.ModuleBuilderOpt);
                            }
                            break;
                        }
                }
            }
 
            Debug.Assert(containingType.IsScriptClass == (scriptCtorOrdinal >= 0));
 
            // process additional anonymous type members
            if (AnonymousTypeManager.IsAnonymousTypeTemplate(containingType))
            {
                var processedInitializers = default(Binder.ProcessedFieldInitializers);
                foreach (var method in AnonymousTypeManager.GetAnonymousTypeHiddenMethods(containingType))
                {
                    CompileMethod(method, -1, ref processedInitializers, synthesizedSubmissionFields, compilationState);
                }
            }
 
            if (containingType.StaticConstructors.IsEmpty)
            {
                // In the case there are field initializers but we haven't created an implicit static constructor (.cctor) for it,
                // (since we may not add .cctor implicitly created for decimals into the symbol table)
                // it is necessary for the compiler to generate the static constructor here if we are emitting.
                if (_moduleBeingBuiltOpt != null && !processedStaticInitializers.BoundInitializers.IsDefaultOrEmpty)
                {
                    Debug.Assert(processedStaticInitializers.BoundInitializers.All((init) =>
                        (init.Kind == BoundKind.FieldEqualsValue) && !((BoundFieldEqualsValue)init).Field.IsMetadataConstant));
 
                    MethodSymbol method = new SynthesizedStaticConstructor(sourceTypeSymbol);
                    if (PassesFilter(_filterOpt, method))
                    {
                        CompileMethod(method, -1, ref processedStaticInitializers, synthesizedSubmissionFields, compilationState);
 
                        // If this method has been successfully built, we emit it.
                        if (_moduleBeingBuiltOpt.GetMethodBody(method) != null)
                        {
                            _moduleBeingBuiltOpt.AddSynthesizedDefinition(sourceTypeSymbol, method.GetCciAdapter());
                        }
                    }
                }
 
                // If there is no explicit or implicit .cctor and no static initializers, then report
                // warnings for any static non-nullable fields. (If there is no .cctor, there
                // shouldn't be any initializers but for robustness, we check both.)
                if (processedStaticInitializers.BoundInitializers.IsDefaultOrEmpty &&
                    _compilation.LanguageVersion >= MessageID.IDS_FeatureNullableReferenceTypes.RequiredVersion() &&
                    containingType is { IsImplicitlyDeclared: false, TypeKind: TypeKind.Class or TypeKind.Struct or TypeKind.Interface } &&
                    ReportNullableDiagnostics)
                {
                    NullableWalker.AnalyzeIfNeeded(
                        this._compilation,
                        new SynthesizedStaticConstructor(containingType),
                        GetSynthesizedEmptyBody(containingType),
                        _diagnostics.DiagnosticBag,
                        useConstructorExitWarnings: true,
                        initialNullableState: null,
                        getFinalNullableState: false,
                        baseOrThisInitializer: null,
                        finalNullableState: out _);
                }
            }
 
            // compile submission constructor last so that synthesized submission fields are collected from all script methods:
            if (scriptCtor != null && compilationState.Emitting)
            {
                Debug.Assert(scriptCtorOrdinal >= 0);
                var processedInitializers = new Binder.ProcessedFieldInitializers() { BoundInitializers = ImmutableArray<BoundInitializer>.Empty };
                CompileMethod(scriptCtor, scriptCtorOrdinal, ref processedInitializers, synthesizedSubmissionFields, compilationState);
                if (synthesizedSubmissionFields != null)
                {
                    synthesizedSubmissionFields.AddToType(containingType, compilationState.ModuleBuilderOpt);
                }
            }
 
            // Emit synthesized methods produced during lowering if any
            if (_moduleBeingBuiltOpt != null)
            {
                CompileSynthesizedMethods(compilationState);
            }
 
            compilationState.Free();
        }
 
        internal static MethodSymbol GetMethodToCompile(MethodSymbol method)
        {
            if (method.IsPartialDefinition())
            {
                return method.PartialImplementationPart;
            }
 
            return method;
        }
 
        private void CompileSynthesizedMethods(PrivateImplementationDetails privateImplClass, BindingDiagnosticBag diagnostics)
        {
            Debug.Assert(_moduleBeingBuiltOpt != null);
 
            var compilationState = new TypeCompilationState(null, _compilation, _moduleBeingBuiltOpt);
            var context = new EmitContext(_moduleBeingBuiltOpt, null, diagnostics.DiagnosticBag, metadataOnly: false, includePrivateMembers: true);
            foreach (Cci.IMethodDefinition definition in privateImplClass.GetMethods(context).Concat(privateImplClass.GetTopLevelAndNestedTypeMethods(context)))
            {
                var method = (MethodSymbol)definition.GetInternalSymbol();
                Debug.Assert(method.SynthesizesLoweredBoundBody);
                method.GenerateMethodBody(compilationState, diagnostics);
            }
 
            CompileSynthesizedMethods(compilationState);
            compilationState.Free();
        }
 
        private void CompileSynthesizedMethods(ImmutableArray<NamedTypeSymbol> additionalTypes, BindingDiagnosticBag diagnostics)
        {
            Debug.Assert(diagnostics.DiagnosticBag != null);
 
            foreach (var additionalType in additionalTypes)
            {
                var compilationState = new TypeCompilationState(additionalType, _compilation, _moduleBeingBuiltOpt);
                foreach (var method in additionalType.GetMethodsToEmit())
                {
                    method.GenerateMethodBody(compilationState, diagnostics);
                }
 
                if (!diagnostics.HasAnyErrors())
                {
                    CompileSynthesizedMethods(compilationState);
                }
 
                compilationState.Free();
            }
        }
 
        private void CompileSynthesizedMethods(TypeCompilationState compilationState)
        {
            Debug.Assert(_moduleBeingBuiltOpt != null);
            Debug.Assert(compilationState.ModuleBuilderOpt == _moduleBeingBuiltOpt);
 
            var synthesizedMethods = compilationState.SynthesizedMethods;
            if (synthesizedMethods == null)
            {
                return;
            }
 
            var stateMachineStateDebugInfoBuilder = ArrayBuilder<StateMachineStateDebugInfo>.GetInstance();
            var oldImportChain = compilationState.CurrentImportChain;
            try
            {
                foreach (var methodWithBody in synthesizedMethods)
                {
                    var importChain = methodWithBody.ImportChain;
                    compilationState.CurrentImportChain = importChain;
 
                    // We make sure that an asynchronous mutation to the diagnostic bag does not
                    // confuse the method body generator by making a fresh bag and then loading
                    // any diagnostics emitted into it back into the main diagnostic bag.
                    var diagnosticsThisMethod = BindingDiagnosticBag.GetInstance(_diagnostics);
 
                    var method = methodWithBody.Method;
                    var lambda = method as SynthesizedClosureMethod;
                    var variableSlotAllocatorOpt = ((object)lambda != null) ?
                        _moduleBeingBuiltOpt.TryCreateVariableSlotAllocator(lambda, lambda.TopLevelMethod, diagnosticsThisMethod.DiagnosticBag) :
                        _moduleBeingBuiltOpt.TryCreateVariableSlotAllocator(method, method, diagnosticsThisMethod.DiagnosticBag);
 
                    // Synthesized methods have no ordinal stored in custom debug information (only user-defined methods have ordinals).
                    // In case of async lambdas, which synthesize a state machine type during the following rewrite, the containing method has already been uniquely named,
                    // so there is no need to produce a unique method ordinal for the corresponding state machine type, whose name includes the (unique) containing method name.
                    const int methodOrdinal = -1;
                    MethodBody emittedBody = null;
 
                    try
                    {
                        // Local functions can be iterators as well as be async (lambdas can only be async), so we need to lower both iterators and async
                        IteratorStateMachine iteratorStateMachine;
                        BoundStatement loweredBody = IteratorRewriter.Rewrite(methodWithBody.Body, method, methodOrdinal, stateMachineStateDebugInfoBuilder, variableSlotAllocatorOpt, compilationState, diagnosticsThisMethod, out iteratorStateMachine);
                        StateMachineTypeSymbol stateMachine = iteratorStateMachine;
 
                        if (!loweredBody.HasErrors)
                        {
                            AsyncStateMachine asyncStateMachine;
                            loweredBody = AsyncRewriter.Rewrite(loweredBody, method, methodOrdinal, stateMachineStateDebugInfoBuilder, variableSlotAllocatorOpt, compilationState, diagnosticsThisMethod, out asyncStateMachine);
 
                            Debug.Assert((object)iteratorStateMachine == null || (object)asyncStateMachine == null);
                            stateMachine = stateMachine ?? asyncStateMachine;
                        }
 
                        SetGlobalErrorIfTrue(diagnosticsThisMethod.HasAnyErrors());
 
                        if (_emitMethodBodies && !diagnosticsThisMethod.HasAnyErrors() && !_globalHasErrors)
                        {
                            emittedBody = GenerateMethodBody(
                                _moduleBeingBuiltOpt,
                                method,
                                methodOrdinal,
                                loweredBody,
                                ImmutableArray<EncLambdaInfo>.Empty,
                                ImmutableArray<LambdaRuntimeRudeEditInfo>.Empty,
                                ImmutableArray<EncClosureInfo>.Empty,
                                stateMachineStateDebugInfoBuilder.ToImmutable(),
                                stateMachine,
                                variableSlotAllocatorOpt,
                                diagnosticsThisMethod,
                                GetDebugDocumentProvider(MethodInstrumentation.Empty),
                                method.GenerateDebugInfo ? importChain : null,
                                emittingPdb: _emittingPdb,
                                codeCoverageSpans: ImmutableArray<SourceSpan>.Empty,
                                _entryPointOpt);
                        }
                    }
                    catch (BoundTreeVisitor.CancelledByStackGuardException ex)
                    {
                        ex.AddAnError(_diagnostics);
                    }
 
                    _diagnostics.AddRange(diagnosticsThisMethod);
                    diagnosticsThisMethod.Free();
 
                    if (_emitMethodBodies)
                    {
                        // error while generating IL
                        if (emittedBody == null)
                        {
                            break;
                        }
 
                        _moduleBeingBuiltOpt.SetMethodBody(method, emittedBody);
                    }
                    else
                    {
                        Debug.Assert(emittedBody is null);
                    }
 
                    stateMachineStateDebugInfoBuilder.Clear();
                }
            }
            finally
            {
                compilationState.CurrentImportChain = oldImportChain;
                stateMachineStateDebugInfoBuilder.Free();
            }
        }
 
        /// <summary>
        /// In some circumstances (e.g. implicit implementation of an interface method by a non-virtual method in a
        /// base type from another assembly) it is necessary for the compiler to generate explicit implementations for
        /// some interface methods.  They don't go in the symbol table, but if we are emitting, then we should
        /// generate code for them.
        /// </summary>
        private void CompileSynthesizedExplicitImplementations(SourceMemberContainerTypeSymbol sourceTypeSymbol, TypeCompilationState compilationState)
        {
            // we are not generating any observable diagnostics here so it is ok to short-circuit on global errors.
            if (!_globalHasErrors)
            {
                var interfaces = sourceTypeSymbol.GetInterfacesToEmit();
 
                var discardedDiagnostics = BindingDiagnosticBag.GetInstance(_diagnostics);
                foreach (var synthesizedExplicitImpl in sourceTypeSymbol.GetSynthesizedExplicitImplementations(_cancellationToken).ForwardingMethods)
                {
                    Debug.Assert(synthesizedExplicitImpl.SynthesizesLoweredBoundBody);
 
                    // Avoid emitting duplicate forwarding methods (e.g., when the class implements the same interface twice with different nullability).
                    if (!interfaces.Contains(synthesizedExplicitImpl.ExplicitInterfaceImplementations[0].ContainingType,
                        Symbols.SymbolEqualityComparer.ConsiderEverything))
                    {
                        continue;
                    }
 
                    synthesizedExplicitImpl.GenerateMethodBody(compilationState, discardedDiagnostics);
                    Debug.Assert(!discardedDiagnostics.HasAnyErrors());
                    discardedDiagnostics.DiagnosticBag.Clear();
                    _moduleBeingBuiltOpt.AddSynthesizedDefinition(sourceTypeSymbol, synthesizedExplicitImpl.GetCciAdapter());
                }
 
                _diagnostics.AddRangeAndFree(discardedDiagnostics);
            }
        }
 
        private void CompileSynthesizedSealedAccessors(SourcePropertySymbolBase sourceProperty, TypeCompilationState compilationState)
        {
            SynthesizedSealedPropertyAccessor synthesizedAccessor = sourceProperty.SynthesizedSealedAccessorOpt;
 
            // we are not generating any observable diagnostics here so it is ok to short-circuit on global errors.
            if ((object)synthesizedAccessor != null && !_globalHasErrors)
            {
                Debug.Assert(synthesizedAccessor.SynthesizesLoweredBoundBody);
                var discardedDiagnostics = BindingDiagnosticBag.GetInstance(_diagnostics);
                synthesizedAccessor.GenerateMethodBody(compilationState, discardedDiagnostics);
                Debug.Assert(!discardedDiagnostics.HasAnyErrors());
                _diagnostics.AddDependencies(discardedDiagnostics);
                discardedDiagnostics.Free();
 
                _moduleBeingBuiltOpt.AddSynthesizedDefinition(sourceProperty.ContainingType, synthesizedAccessor.GetCciAdapter());
            }
        }
 
        public override object VisitMethod(MethodSymbol symbol, TypeCompilationState arg)
        {
            throw ExceptionUtilities.Unreachable();
        }
 
        public override object VisitProperty(PropertySymbol symbol, TypeCompilationState argument)
        {
            throw ExceptionUtilities.Unreachable();
        }
 
        public override object VisitEvent(EventSymbol symbol, TypeCompilationState argument)
        {
            throw ExceptionUtilities.Unreachable();
        }
 
        public override object VisitField(FieldSymbol symbol, TypeCompilationState argument)
        {
            throw ExceptionUtilities.Unreachable();
        }
 
        private void CompileMethod(
            MethodSymbol methodSymbol,
            int methodOrdinal,
            ref Binder.ProcessedFieldInitializers processedInitializers,
            SynthesizedSubmissionFields previousSubmissionFields,
            TypeCompilationState compilationState)
        {
            _cancellationToken.ThrowIfCancellationRequested();
            SourceMemberMethodSymbol sourceMethod = methodSymbol as SourceMemberMethodSymbol;
 
            if (methodSymbol.IsAbstract || methodSymbol.ContainingType?.IsDelegateType() == true)
            {
                if ((object)sourceMethod != null)
                {
                    bool diagsWritten;
                    sourceMethod.SetDiagnostics(ImmutableArray<Diagnostic>.Empty, out diagsWritten);
                    if (diagsWritten && !methodSymbol.IsImplicitlyDeclared && _compilation.EventQueue != null)
                    {
                        _compilation.SymbolDeclaredEvent(methodSymbol);
                    }
                }
 
                return;
            }
 
            // get cached diagnostics if not building and we have 'em
            if (_moduleBeingBuiltOpt == null && (object)sourceMethod != null)
            {
                var cachedDiagnostics = sourceMethod.Diagnostics;
 
                if (!cachedDiagnostics.IsDefault)
                {
                    _diagnostics.AddRange(cachedDiagnostics);
                    return;
                }
            }
 
            ImportChain oldImportChain = compilationState.CurrentImportChain;
 
            // In order to avoid generating code for methods with errors, we create a diagnostic bag just for this method.
            var diagsForCurrentMethod = BindingDiagnosticBag.GetInstance(_diagnostics);
 
            try
            {
                // if synthesized method returns its body in lowered form
                if (methodSymbol.SynthesizesLoweredBoundBody)
                {
                    if (_moduleBeingBuiltOpt != null)
                    {
                        methodSymbol.GenerateMethodBody(compilationState, diagsForCurrentMethod);
                        _diagnostics.AddRange(diagsForCurrentMethod);
                    }
 
                    return;
                }
 
                // no need to emit the default ctor, we are not emitting those
                if (methodSymbol.IsDefaultValueTypeConstructor())
                {
                    return;
                }
 
                bool includeNonEmptyInitializersInBody = false;
                BoundBlock body;
                bool originalBodyNested = false;
                var instrumentation = compilationState.ModuleBuilderOpt?.GetMethodBodyInstrumentations(methodSymbol) ?? MethodInstrumentation.Empty;
 
                // initializers that have been analyzed but not yet lowered.
                BoundStatementList analyzedInitializers = null;
                MethodBodySemanticModel.InitialState forSemanticModel = default;
                ImportChain importChain = null;
                var hasTrailingExpression = false;
 
                if (methodSymbol.IsScriptConstructor)
                {
                    Debug.Assert(methodSymbol.IsImplicitlyDeclared);
                    body = new BoundBlock(methodSymbol.GetNonNullSyntaxNode(), ImmutableArray<LocalSymbol>.Empty, ImmutableArray<BoundStatement>.Empty) { WasCompilerGenerated = true };
                }
                else if (methodSymbol.IsScriptInitializer)
                {
                    Debug.Assert(methodSymbol.IsImplicitlyDeclared);
 
                    // rewrite top-level statements and script variable declarations to a list of statements and assignments, respectively:
                    var initializerStatements = InitializerRewriter.RewriteScriptInitializer(processedInitializers.BoundInitializers, (SynthesizedInteractiveInitializerMethod)methodSymbol, out hasTrailingExpression);
 
                    // the lowered script initializers should not be treated as initializers anymore but as a method body:
                    body = BoundBlock.SynthesizedNoLocals(initializerStatements.Syntax, initializerStatements.Statements);
 
                    if (ReportNullableDiagnostics)
                    {
                        NullableWalker.AnalyzeIfNeeded(
                            _compilation,
                            methodSymbol,
                            initializerStatements,
                            diagsForCurrentMethod.DiagnosticBag,
                            useConstructorExitWarnings: false,
                            initialNullableState: null,
                            getFinalNullableState: true,
                            baseOrThisInitializer: null,
                            out _);
                    }
 
                    var unusedDiagnostics = DiagnosticBag.GetInstance();
                    DefiniteAssignmentPass.Analyze(_compilation, methodSymbol, initializerStatements, unusedDiagnostics, out _, requireOutParamsAssigned: false);
                    DiagnosticsPass.IssueDiagnostics(_compilation, initializerStatements, BindingDiagnosticBag.Discarded, methodSymbol);
                    unusedDiagnostics.Free();
                }
                else
                {
                    var includeInitializersInBody = methodSymbol.IncludeFieldInitializersInBody();
                    // Do not emit initializers if we are invoking another constructor of this class.
                    includeNonEmptyInitializersInBody = includeInitializersInBody && !processedInitializers.BoundInitializers.IsDefaultOrEmpty;
 
                    if (includeNonEmptyInitializersInBody && processedInitializers.LoweredInitializers == null)
                    {
                        analyzedInitializers = InitializerRewriter.RewriteConstructor(processedInitializers.BoundInitializers, methodSymbol);
                        processedInitializers.HasErrors = processedInitializers.HasErrors || analyzedInitializers.HasAnyErrors;
 
                        RefSafetyAnalysis.Analyze(_compilation, methodSymbol,
                                                  new BoundBlock(analyzedInitializers.Syntax, ImmutableArray<LocalSymbol>.Empty, analyzedInitializers.Statements), // The block is necessary to establish the right local scope for the analysis 
                                                  diagsForCurrentMethod);
                    }
 
                    body = BindMethodBody(
                        methodSymbol,
                        compilationState,
                        diagsForCurrentMethod,
                        includeInitializersInBody,
                        analyzedInitializers,
                        ReportNullableDiagnostics,
                        out importChain,
                        out originalBodyNested,
                        out bool prependedDefaultValueTypeConstructorInitializer,
                        out forSemanticModel);
 
                    Debug.Assert(!prependedDefaultValueTypeConstructorInitializer || originalBodyNested);
                    Debug.Assert(!prependedDefaultValueTypeConstructorInitializer || methodSymbol.ContainingType.IsStructType());
 
                    if (diagsForCurrentMethod.HasAnyErrors() && body != null)
                    {
                        body = (BoundBlock)body.WithHasErrors();
                    }
 
                    // lower initializers just once. the lowered tree will be reused when emitting all constructors
                    // with field initializers. Once lowered, these initializers will be stashed in processedInitializers.LoweredInitializers
                    // (see later in this method). Don't bother lowering _now_ if this particular ctor won't have the initializers
                    // appended to its body.
                    if (includeNonEmptyInitializersInBody && processedInitializers.LoweredInitializers == null)
                    {
                        if (body != null &&
                            ((methodSymbol.ContainingType.IsStructType() && !methodSymbol.IsImplicitConstructor) ||
                            methodSymbol is SynthesizedPrimaryConstructor ||
                            instrumentation.Kinds.Contains(InstrumentationKind.TestCoverage) ||
                            instrumentation.Kinds.Contains(InstrumentationKindExtensions.LocalStateTracing) ||
                            instrumentation.Kinds.Contains(InstrumentationKind.StackOverflowProbing) ||
                            instrumentation.Kinds.Contains(InstrumentationKind.ModuleCancellation)))
                        {
                            if (methodSymbol.IsImplicitConstructor &&
                                (instrumentation.Kinds.Contains(InstrumentationKind.TestCoverage) || instrumentation.Kinds.Contains(InstrumentationKindExtensions.LocalStateTracing)))
                            {
                                // Flow analysis over the initializers is necessary in order to find assignments to fields.
                                // Bodies of implicit constructors do not get flow analysis later, so the initializers
                                // are analyzed here.
                                DefiniteAssignmentPass.Analyze(_compilation, methodSymbol, analyzedInitializers, diagsForCurrentMethod.DiagnosticBag, out _, requireOutParamsAssigned: false);
                            }
 
                            // In order to get correct diagnostics, we need to analyze initializers and the body together.
                            int insertAt = 0;
                            if (originalBodyNested &&
                                prependedDefaultValueTypeConstructorInitializer)
                            {
                                insertAt = 1;
                            }
                            body = body.Update(body.Locals, body.LocalFunctions, body.HasUnsafeModifier, body.Instrumentation, body.Statements.Insert(insertAt, analyzedInitializers));
                            includeNonEmptyInitializersInBody = false;
                            analyzedInitializers = null;
                        }
                        else
                        {
                            // These analyses check for diagnostics in lambdas.
                            // Control flow analysis and implicit return insertion are unnecessary.
                            DefiniteAssignmentPass.Analyze(_compilation, methodSymbol, analyzedInitializers, diagsForCurrentMethod.DiagnosticBag, out _, requireOutParamsAssigned: false);
                            DiagnosticsPass.IssueDiagnostics(_compilation, analyzedInitializers, diagsForCurrentMethod, methodSymbol);
                        }
                    }
                }
 
#if DEBUG
                // If the method is a synthesized static or instance constructor, then debugImports will be null and we will use the value
                // from the first field initializer.
                if ((methodSymbol.MethodKind == MethodKind.Constructor || methodSymbol.MethodKind == MethodKind.StaticConstructor) &&
                    methodSymbol.IsImplicitlyDeclared && body == null)
                {
                    // There was no body to bind, so we didn't get anything from BindMethodBody.
                    Debug.Assert(importChain == null);
                }
 
                // Either there were no field initializers or we grabbed debug imports from the first one.
                Debug.Assert(processedInitializers.BoundInitializers.IsDefaultOrEmpty || processedInitializers.FirstImportChain != null);
#endif
 
                importChain = importChain ?? processedInitializers.FirstImportChain;
 
                // Associate these debug imports with all methods generated from this one.
                compilationState.CurrentImportChain = importChain;
 
                if (body != null)
                {
                    DiagnosticsPass.IssueDiagnostics(_compilation, body, diagsForCurrentMethod, methodSymbol);
                }
 
                BoundBlock flowAnalyzedBody = null;
                if (body != null)
                {
                    flowAnalyzedBody = FlowAnalysisPass.Rewrite(methodSymbol, body, compilationState, diagsForCurrentMethod, hasTrailingExpression: hasTrailingExpression, originalBodyNested: originalBodyNested);
                }
 
                bool hasErrors = _hasDeclarationErrors || diagsForCurrentMethod.HasAnyErrors() || processedInitializers.HasErrors;
 
                // Record whether or not the bound tree for the lowered method body (including any initializers) contained any
                // errors (note: errors, not diagnostics).
                SetGlobalErrorIfTrue(hasErrors);
 
                var actualDiagnostics = diagsForCurrentMethod.ToReadOnly();
                if (sourceMethod != null)
                {
                    _compilation.RegisterPossibleUpcomingEventEnqueue();
 
                    try
                    {
                        bool diagsWritten;
                        actualDiagnostics = new ReadOnlyBindingDiagnostic<AssemblySymbol>(sourceMethod.SetDiagnostics(actualDiagnostics.Diagnostics, out diagsWritten), actualDiagnostics.Dependencies);
 
                        if (diagsWritten && !methodSymbol.IsImplicitlyDeclared && _compilation.EventQueue != null)
                        {
                            // If compilation has a caching semantic model provider, then cache the already-computed bound tree
                            // onto the semantic model and store it on the event.
                            SyntaxTreeSemanticModel semanticModelWithCachedBoundNodes = null;
                            if (body != null &&
                                forSemanticModel.Syntax is { } semanticModelSyntax &&
                                _compilation.SemanticModelProvider is CachingSemanticModelProvider cachingSemanticModelProvider)
                            {
                                var syntax = body.Syntax;
                                semanticModelWithCachedBoundNodes = (SyntaxTreeSemanticModel)cachingSemanticModelProvider.GetSemanticModel(syntax.SyntaxTree, _compilation);
                                semanticModelWithCachedBoundNodes.GetOrAddModel(semanticModelSyntax,
                                                            (rootSyntax) =>
                                                            {
                                                                Debug.Assert(rootSyntax == forSemanticModel.Syntax);
                                                                return MethodBodySemanticModel.Create(semanticModelWithCachedBoundNodes,
                                                                                                      methodSymbol,
                                                                                                      forSemanticModel);
                                                            });
                            }
 
                            _compilation.EventQueue.TryEnqueue(new SymbolDeclaredCompilationEvent(
                                _compilation, methodSymbol, semanticModelWithCachedBoundNodes));
                        }
                    }
                    finally
                    {
                        _compilation.UnregisterPossibleUpcomingEventEnqueue();
                    }
                }
 
                // Don't lower if we're not emitting or if there were errors.
                // Methods that had binding errors are considered too broken to be lowered reliably.
                if (_moduleBeingBuiltOpt == null || hasErrors)
                {
                    _diagnostics.AddRange(actualDiagnostics);
                    return;
                }
 
                // ############################
                // LOWERING AND EMIT
                // Any errors generated below here are considered Emit diagnostics
                // and will not be reported to callers Compilation.GetDiagnostics()
 
                ImmutableArray<SourceSpan> codeCoverageSpans;
                bool hasBody = flowAnalyzedBody != null;
                VariableSlotAllocator lazyVariableSlotAllocator = null;
                StateMachineTypeSymbol stateMachineTypeOpt = null;
                var lambdaDebugInfoBuilder = ArrayBuilder<EncLambdaInfo>.GetInstance();
                var lambdaRuntimeRudeEditsBuilder = ArrayBuilder<LambdaRuntimeRudeEditInfo>.GetInstance();
                var closureDebugInfoBuilder = ArrayBuilder<EncClosureInfo>.GetInstance();
                var stateMachineStateDebugInfoBuilder = ArrayBuilder<StateMachineStateDebugInfo>.GetInstance();
                BoundStatement loweredBodyOpt = null;
 
                try
                {
                    if (hasBody)
                    {
                        loweredBodyOpt = LowerBodyOrInitializer(
                            methodSymbol,
                            methodOrdinal,
                            flowAnalyzedBody,
                            previousSubmissionFields,
                            compilationState,
                            instrumentation,
                            GetDebugDocumentProvider(instrumentation),
                            out codeCoverageSpans,
                            diagsForCurrentMethod,
                            ref lazyVariableSlotAllocator,
                            lambdaDebugInfoBuilder,
                            lambdaRuntimeRudeEditsBuilder,
                            closureDebugInfoBuilder,
                            stateMachineStateDebugInfoBuilder,
                            out stateMachineTypeOpt);
 
                        Debug.Assert(loweredBodyOpt != null);
                    }
                    else
                    {
                        loweredBodyOpt = null;
                        codeCoverageSpans = ImmutableArray<SourceSpan>.Empty;
                    }
 
                    hasErrors = hasErrors || (hasBody && loweredBodyOpt.HasErrors) || diagsForCurrentMethod.HasAnyErrors();
                    SetGlobalErrorIfTrue(hasErrors);
                    CSharpSyntaxNode syntax = methodSymbol.GetNonNullSyntaxNode();
                    // don't emit if the resulting method would contain initializers with errors
                    if (!hasErrors && (hasBody || includeNonEmptyInitializersInBody))
                    {
                        Debug.Assert(!(methodSymbol.IsImplicitInstanceConstructor && methodSymbol.ParameterCount == 0) ||
                                     !methodSymbol.IsDefaultValueTypeConstructor());
 
                        // Fields must be initialized before constructor initializer (which is the first statement of the analyzed body, if specified),
                        // so that the initialization occurs before any method overridden by the declaring class can be invoked from the base constructor
                        // and access the fields.
 
                        ImmutableArray<BoundStatement> boundStatements;
 
                        if (methodSymbol.IsScriptConstructor)
                        {
                            boundStatements = MethodBodySynthesizer.ConstructScriptConstructorBody(loweredBodyOpt, methodSymbol, previousSubmissionFields, _compilation);
                        }
                        else
                        {
                            boundStatements = ImmutableArray<BoundStatement>.Empty;
 
                            if (methodSymbol is SynthesizedPrimaryConstructor primaryCtor)
                            {
                                IReadOnlyDictionary<ParameterSymbol, FieldSymbol> capturedParameters = primaryCtor.GetCapturedParameters();
 
                                if (capturedParameters.Count != 0)
                                {
                                    // Store parameter values into the corresponding fields as the very first thing in the constructor
                                    var factory = new SyntheticBoundNodeFactory(methodSymbol, syntax, compilationState, diagsForCurrentMethod);
                                    var initializers = ArrayBuilder<BoundStatement>.GetInstance(capturedParameters.Count);
 
                                    foreach (var (parameter, field) in capturedParameters.OrderBy(pair => pair.Key.Ordinal))
                                    {
                                        initializers.Add(factory.Assignment(factory.Field(factory.This(), field), factory.Parameter(parameter)));
                                    }
 
                                    boundStatements = boundStatements.Insert(
                                                          0,
                                                          factory.HiddenSequencePoint(
                                                              factory.StatementList(initializers.ToImmutableAndFree())));
                                }
                            }
 
                            if (analyzedInitializers != null)
                            {
                                // For test coverage, field initializers are instrumented as part of constructors,
                                // and so are never instrumented here.
                                Debug.Assert(!instrumentation.Kinds.Contains(InstrumentationKind.TestCoverage));
 
                                BoundStatement lowered = LowerBodyOrInitializer(
                                    methodSymbol,
                                    methodOrdinal,
                                    analyzedInitializers,
                                    previousSubmissionFields,
                                    compilationState,
                                    instrumentation,
                                    GetDebugDocumentProvider(instrumentation),
                                    out ImmutableArray<SourceSpan> initializerCodeCoverageSpans,
                                    diagsForCurrentMethod,
                                    ref lazyVariableSlotAllocator,
                                    lambdaDebugInfoBuilder,
                                    lambdaRuntimeRudeEditsBuilder,
                                    closureDebugInfoBuilder,
                                    stateMachineStateDebugInfoBuilder,
                                    out StateMachineTypeSymbol initializerStateMachineTypeOpt);
 
                                Debug.Assert(initializerCodeCoverageSpans.IsEmpty);
 
                                processedInitializers.LoweredInitializers = lowered;
 
                                // initializers can't produce state machines
                                Debug.Assert(initializerStateMachineTypeOpt is null);
                                Debug.Assert(!hasErrors);
                                hasErrors = lowered.HasAnyErrors || diagsForCurrentMethod.HasAnyErrors();
                                SetGlobalErrorIfTrue(hasErrors);
                                if (hasErrors)
                                {
                                    _diagnostics.AddRange(diagsForCurrentMethod);
                                    return;
                                }
 
                                // Only do the cast if we haven't returned with some error diagnostics.
                                // Otherwise, `lowered` might have been a BoundBadStatement.
                                processedInitializers.LoweredInitializers = (BoundStatementList)lowered;
                            }
 
                            // initializers for global code have already been included in the body
                            if (includeNonEmptyInitializersInBody)
                            {
                                if (processedInitializers.LoweredInitializers.Kind == BoundKind.StatementList)
                                {
                                    BoundStatementList lowered = (BoundStatementList)processedInitializers.LoweredInitializers;
                                    boundStatements = boundStatements.Concat(lowered.Statements);
                                }
                                else
                                {
                                    boundStatements = boundStatements.Add(processedInitializers.LoweredInitializers);
                                }
                            }
 
                            if (hasBody)
                            {
                                boundStatements = boundStatements.Concat(loweredBodyOpt);
                            }
 
                            hasErrors = diagsForCurrentMethod.HasAnyErrors();
                            SetGlobalErrorIfTrue(hasErrors);
                            if (hasErrors)
                            {
                                _diagnostics.AddRange(diagsForCurrentMethod);
                                return;
                            }
                        }
                        if (_emitMethodBodies && (methodSymbol is not SynthesizedStaticConstructor cctor || cctor.ShouldEmit(processedInitializers.BoundInitializers)))
                        {
                            var boundBody = BoundStatementList.Synthesized(syntax, boundStatements);
 
                            lambdaRuntimeRudeEditsBuilder.Sort(static (x, y) => x.LambdaId.CompareTo(y.LambdaId));
 
                            var emittedBody = GenerateMethodBody(
                                _moduleBeingBuiltOpt,
                                methodSymbol,
                                methodOrdinal,
                                boundBody,
                                lambdaDebugInfoBuilder.ToImmutable(),
                                lambdaRuntimeRudeEditsBuilder.ToImmutable(),
                                closureDebugInfoBuilder.ToImmutable(),
                                stateMachineStateDebugInfoBuilder.ToImmutable(),
                                stateMachineTypeOpt,
                                lazyVariableSlotAllocator,
                                diagsForCurrentMethod,
                                GetDebugDocumentProvider(instrumentation),
                                importChain,
                                _emittingPdb,
                                codeCoverageSpans,
                                entryPointOpt: null);
 
                            _moduleBeingBuiltOpt.SetMethodBody(methodSymbol.PartialDefinitionPart ?? methodSymbol, emittedBody);
                        }
                    }
 
                    _diagnostics.AddRange(diagsForCurrentMethod);
                }
                finally
                {
                    lambdaDebugInfoBuilder.Free();
                    lambdaRuntimeRudeEditsBuilder.Free();
                    closureDebugInfoBuilder.Free();
                    stateMachineStateDebugInfoBuilder.Free();
                }
            }
            finally
            {
                diagsForCurrentMethod.Free();
                compilationState.CurrentImportChain = oldImportChain;
            }
        }
 
        // internal for testing
        internal static BoundStatement LowerBodyOrInitializer(
            MethodSymbol method,
            int methodOrdinal,
            BoundStatement body,
            SynthesizedSubmissionFields previousSubmissionFields,
            TypeCompilationState compilationState,
            MethodInstrumentation instrumentation,
            DebugDocumentProvider debugDocumentProvider,
            out ImmutableArray<SourceSpan> codeCoverageSpans,
            BindingDiagnosticBag diagnostics,
            ref VariableSlotAllocator lazyVariableSlotAllocator,
            ArrayBuilder<EncLambdaInfo> lambdaDebugInfoBuilder,
            ArrayBuilder<LambdaRuntimeRudeEditInfo> lambdaRuntimeRudeEditsBuilder,
            ArrayBuilder<EncClosureInfo> closureDebugInfoBuilder,
            ArrayBuilder<StateMachineStateDebugInfo> stateMachineStateDebugInfoBuilder,
            out StateMachineTypeSymbol stateMachineTypeOpt)
        {
            Debug.Assert(compilationState.ModuleBuilderOpt != null);
            stateMachineTypeOpt = null;
 
            if (body.HasErrors)
            {
                codeCoverageSpans = ImmutableArray<SourceSpan>.Empty;
                return body;
            }
 
            try
            {
                var loweredBody = LocalRewriter.Rewrite(
                    method.DeclaringCompilation,
                    method,
                    methodOrdinal,
                    method.ContainingType,
                    body,
                    compilationState,
                    previousSubmissionFields: previousSubmissionFields,
                    allowOmissionOfConditionalCalls: true,
                    instrumentation: instrumentation,
                    debugDocumentProvider: debugDocumentProvider,
                    diagnostics: diagnostics,
                    codeCoverageSpans: out codeCoverageSpans,
                    sawLambdas: out bool sawLambdas,
                    sawLocalFunctions: out bool sawLocalFunctions,
                    sawAwaitInExceptionHandler: out bool sawAwaitInExceptionHandler);
 
                if (loweredBody.HasErrors)
                {
                    return loweredBody;
                }
 
                if (sawAwaitInExceptionHandler)
                {
                    // If we have awaits in handlers, we need to
                    // replace handlers with synthetic ones which can be consumed by async rewriter.
                    // The reason why this rewrite happens before the lambda rewrite
                    // is that we may need access to exception locals and it would be fairly hard to do
                    // if these locals are captured into closures (possibly nested ones).
                    loweredBody = AsyncExceptionHandlerRewriter.Rewrite(
                        method,
                        method.ContainingType,
                        loweredBody,
                        compilationState,
                        diagnostics);
                }
 
                if (loweredBody.HasErrors)
                {
                    return loweredBody;
                }
 
                lazyVariableSlotAllocator ??= compilationState.ModuleBuilderOpt.TryCreateVariableSlotAllocator(method, method, diagnostics.DiagnosticBag);
 
                BoundStatement bodyWithoutLambdas = loweredBody;
                if (sawLambdas || sawLocalFunctions)
                {
                    bodyWithoutLambdas = ClosureConversion.Rewrite(
                        loweredBody,
                        method.ContainingType,
                        method.ThisParameter,
                        method,
                        methodOrdinal,
                        substitutedSourceMethod: null,
                        lambdaDebugInfoBuilder,
                        lambdaRuntimeRudeEditsBuilder,
                        closureDebugInfoBuilder,
                        lazyVariableSlotAllocator,
                        compilationState,
                        diagnostics,
                        assignLocals: null);
                }
 
                if (bodyWithoutLambdas.HasErrors)
                {
                    return bodyWithoutLambdas;
                }
 
                BoundStatement bodyWithoutIterators = IteratorRewriter.Rewrite(bodyWithoutLambdas, method, methodOrdinal, stateMachineStateDebugInfoBuilder, lazyVariableSlotAllocator, compilationState, diagnostics,
                    out IteratorStateMachine iteratorStateMachine);
 
                if (bodyWithoutIterators.HasErrors)
                {
                    return bodyWithoutIterators;
                }
 
                BoundStatement bodyWithoutAsync = AsyncRewriter.Rewrite(bodyWithoutIterators, method, methodOrdinal, stateMachineStateDebugInfoBuilder, lazyVariableSlotAllocator, compilationState, diagnostics,
                    out AsyncStateMachine asyncStateMachine);
 
                Debug.Assert((object)iteratorStateMachine == null || (object)asyncStateMachine == null);
                stateMachineTypeOpt = (StateMachineTypeSymbol)iteratorStateMachine ?? asyncStateMachine;
 
                return bodyWithoutAsync;
            }
            catch (BoundTreeVisitor.CancelledByStackGuardException ex)
            {
                codeCoverageSpans = ImmutableArray<SourceSpan>.Empty;
                ex.AddAnError(diagnostics);
                return new BoundBadStatement(body.Syntax, ImmutableArray.Create<BoundNode>(body), hasErrors: true);
            }
        }
 
        /// <summary>
        /// entryPointOpt is only considered for synthesized methods (to recognize the synthesized MoveNext method for async Main)
        /// </summary>
        private static MethodBody GenerateMethodBody(
            PEModuleBuilder moduleBuilder,
            MethodSymbol method,
            int methodOrdinal,
            BoundStatement block,
            ImmutableArray<EncLambdaInfo> lambdaDebugInfo,
            ImmutableArray<LambdaRuntimeRudeEditInfo> orderedLambdaRuntimeRudeEdits,
            ImmutableArray<EncClosureInfo> closureDebugInfo,
            ImmutableArray<StateMachineStateDebugInfo> stateMachineStateDebugInfos,
            StateMachineTypeSymbol stateMachineTypeOpt,
            VariableSlotAllocator variableSlotAllocatorOpt,
            BindingDiagnosticBag diagnostics,
            DebugDocumentProvider debugDocumentProvider,
            ImportChain importChainOpt,
            bool emittingPdb,
            ImmutableArray<SourceSpan> codeCoverageSpans,
            SynthesizedEntryPointSymbol.AsyncForwardEntryPoint entryPointOpt)
        {
            // Note: don't call diagnostics.HasAnyErrors() in release; could be expensive if compilation has many warnings.
            Debug.Assert(!diagnostics.HasAnyErrors(), "Running code generator when errors exist might be dangerous; code generator not expecting errors");
 
            var compilation = moduleBuilder.Compilation;
            var localSlotManager = new LocalSlotManager(variableSlotAllocatorOpt);
            var optimizations = compilation.Options.OptimizationLevel;
 
            ILBuilder builder = new ILBuilder(moduleBuilder, localSlotManager, optimizations, method.AreLocalsZeroed);
            bool hasStackalloc;
            var diagnosticsForThisMethod = BindingDiagnosticBag.GetInstance(withDiagnostics: true, diagnostics.AccumulatesDependencies);
            try
            {
                StateMachineMoveNextBodyDebugInfo moveNextBodyDebugInfoOpt = null;
 
                var codeGen = new CodeGen.CodeGenerator(method, block, builder, moduleBuilder, diagnosticsForThisMethod, optimizations, emittingPdb);
 
                if (diagnosticsForThisMethod.HasAnyErrors())
                {
                    // we are done here. Since there were errors we should not emit anything.
                    return null;
                }
 
                bool isAsyncStateMachine;
                MethodSymbol kickoffMethod;
 
                if (method is SynthesizedStateMachineMethod stateMachineMethod &&
                    method.Name == WellKnownMemberNames.MoveNextMethodName)
                {
                    kickoffMethod = stateMachineMethod.StateMachineType.KickoffMethod;
                    Debug.Assert(kickoffMethod != null);
 
                    isAsyncStateMachine = kickoffMethod.IsAsync;
 
                    // Async void method may be partial. Debug info needs to be associated with the emitted definition,
                    // but the kickoff method is the method implementation (the part with body).
                    kickoffMethod = kickoffMethod.PartialDefinitionPart ?? kickoffMethod;
                }
                else
                {
                    kickoffMethod = null;
                    isAsyncStateMachine = false;
                }
 
                if (isAsyncStateMachine)
                {
                    codeGen.Generate(out int asyncCatchHandlerOffset, out var asyncYieldPoints, out var asyncResumePoints, out hasStackalloc);
 
                    // The exception handler IL offset is used by the debugger to treat exceptions caught by the marked catch block as "user unhandled".
                    // This is important for async void because async void exceptions generally result in the process being terminated,
                    // but without anything useful on the call stack. Async Task methods on the other hand return exceptions as the result of the Task.
                    // So it is undesirable to consider these exceptions "user unhandled" since there may well be user code that is awaiting the task.
                    // This is a heuristic since it's possible that there is no user code awaiting the task.
 
                    // We do the same for async Main methods, since it is unlikely that user code will be awaiting the Task:
                    // AsyncForwardEntryPoint <Main> -> kick-off method Main -> MoveNext.
 
                    bool isAsyncMainMoveNext = entryPointOpt?.UserMain.Equals(kickoffMethod) == true;
 
                    moveNextBodyDebugInfoOpt = new AsyncMoveNextBodyDebugInfo(
                        kickoffMethod.GetCciAdapter(),
                        catchHandlerOffset: (kickoffMethod.ReturnsVoid || isAsyncMainMoveNext) ? asyncCatchHandlerOffset : -1,
                        asyncYieldPoints,
                        asyncResumePoints);
                }
                else
                {
                    codeGen.Generate(out hasStackalloc);
 
                    if ((object)kickoffMethod != null)
                    {
                        moveNextBodyDebugInfoOpt = new IteratorMoveNextBodyDebugInfo(kickoffMethod.GetCciAdapter());
                    }
                }
 
                // Compiler-generated MoveNext methods have hoisted local scopes.
                // These are built by call to CodeGen.Generate.
                var stateMachineHoistedLocalScopes = ((object)kickoffMethod != null) ?
                    builder.GetHoistedLocalScopes() : default(ImmutableArray<StateMachineHoistedLocalScope>);
 
                // Translate the imports even if we are not writing PDBs. The translation has an impact on generated metadata
                // and we don't want to emit different metadata depending on whether or we emit with PDB stream.
                // TODO (https://github.com/dotnet/roslyn/issues/2846): This will need to change for member initializers in partial class.
                var importScopeOpt = importChainOpt?.Translate(moduleBuilder, diagnosticsForThisMethod.DiagnosticBag);
 
                var localVariables = builder.LocalSlotManager.LocalsInOrder();
 
                if (localVariables.Length > 0xFFFE)
                {
                    diagnosticsForThisMethod.Add(ErrorCode.ERR_TooManyLocals, method.GetFirstLocation());
                }
 
                if (diagnosticsForThisMethod.HasAnyErrors())
                {
                    // we are done here. Since there were errors we should not emit anything.
                    return null;
                }
 
                // We will only save the IL builders when running tests.
                moduleBuilder.TestData?.SetMethodILBuilder(method, builder.GetSnapshot());
 
                var stateMachineHoistedLocalSlots = default(ImmutableArray<EncHoistedLocalInfo>);
                var stateMachineAwaiterSlots = default(ImmutableArray<Cci.ITypeReference>);
                if (optimizations == OptimizationLevel.Debug && (object)stateMachineTypeOpt != null)
                {
                    Debug.Assert(method.IsAsync || method.IsIterator);
                    GetStateMachineSlotDebugInfo(moduleBuilder, moduleBuilder.GetSynthesizedFields(stateMachineTypeOpt), variableSlotAllocatorOpt, diagnosticsForThisMethod, out stateMachineHoistedLocalSlots, out stateMachineAwaiterSlots);
                    Debug.Assert(!diagnostics.HasAnyErrors());
                }
 
                return new MethodBody(
                    builder.RealizedIL,
                    builder.MaxStack,
                    (method.PartialDefinitionPart ?? method).GetCciAdapter(),
                    variableSlotAllocatorOpt?.MethodId ?? new DebugId(methodOrdinal, moduleBuilder.CurrentGenerationOrdinal),
                    localVariables,
                    builder.RealizedSequencePoints,
                    debugDocumentProvider,
                    builder.RealizedExceptionHandlers,
                    builder.AreLocalsZeroed,
                    hasStackalloc,
                    builder.GetAllScopes(),
                    builder.HasDynamicLocal,
                    importScopeOpt,
                    lambdaDebugInfo,
                    orderedLambdaRuntimeRudeEdits,
                    closureDebugInfo,
                    stateMachineTypeOpt?.Name,
                    stateMachineHoistedLocalScopes,
                    stateMachineHoistedLocalSlots,
                    stateMachineAwaiterSlots,
                    StateMachineStatesDebugInfo.Create(variableSlotAllocatorOpt, stateMachineStateDebugInfos),
                    moveNextBodyDebugInfoOpt,
                    codeCoverageSpans,
                    isPrimaryConstructor: method is SynthesizedPrimaryConstructor);
            }
            finally
            {
                // Basic blocks contain poolable builders for IL and sequence points. Free those back
                // to their pools.
                builder.FreeBasicBlocks();
 
                // Remember diagnostics.
                diagnostics.AddRange(diagnosticsForThisMethod);
                diagnosticsForThisMethod.Free();
            }
        }
 
        private static void GetStateMachineSlotDebugInfo(
            PEModuleBuilder moduleBuilder,
            IEnumerable<Cci.IFieldDefinition> fieldDefs,
            VariableSlotAllocator variableSlotAllocatorOpt,
            BindingDiagnosticBag diagnostics,
            out ImmutableArray<EncHoistedLocalInfo> hoistedVariableSlots,
            out ImmutableArray<Cci.ITypeReference> awaiterSlots)
        {
            var hoistedVariables = ArrayBuilder<EncHoistedLocalInfo>.GetInstance();
            var awaiters = ArrayBuilder<Cci.ITypeReference>.GetInstance();
 
            foreach (StateMachineFieldSymbol field in
                     fieldDefs
#if DEBUG
                     .Select(f => ((FieldSymbolAdapter)f).AdaptedFieldSymbol)
#endif
                     )
            {
                int index = field.SlotIndex;
 
                if (field.SlotDebugInfo.SynthesizedKind == SynthesizedLocalKind.AwaiterField)
                {
                    Debug.Assert(index >= 0);
 
                    while (index >= awaiters.Count)
                    {
                        awaiters.Add(null);
                    }
 
                    awaiters[index] = moduleBuilder.EncTranslateLocalVariableType(field.Type, diagnostics.DiagnosticBag);
                }
                else if (!field.SlotDebugInfo.Id.IsNone)
                {
                    Debug.Assert(index >= 0 && field.SlotDebugInfo.SynthesizedKind.IsLongLived());
 
                    while (index >= hoistedVariables.Count)
                    {
                        // Empty slots may be present if variables were deleted during EnC.
                        hoistedVariables.Add(new EncHoistedLocalInfo(true));
                    }
 
                    hoistedVariables[index] = new EncHoistedLocalInfo(field.SlotDebugInfo, moduleBuilder.EncTranslateLocalVariableType(field.Type, diagnostics.DiagnosticBag));
                }
            }
 
            // Fill in empty slots for variables deleted during EnC that are not followed by an existing variable:
            if (variableSlotAllocatorOpt != null)
            {
                int previousAwaiterCount = variableSlotAllocatorOpt.PreviousAwaiterSlotCount;
                while (awaiters.Count < previousAwaiterCount)
                {
                    awaiters.Add(null);
                }
 
                int previousAwaiterSlotCount = variableSlotAllocatorOpt.PreviousHoistedLocalSlotCount;
                while (hoistedVariables.Count < previousAwaiterSlotCount)
                {
                    hoistedVariables.Add(new EncHoistedLocalInfo(true));
                }
            }
 
            hoistedVariableSlots = hoistedVariables.ToImmutableAndFree();
            awaiterSlots = awaiters.ToImmutableAndFree();
        }
 
        // NOTE: can return null if the method has no body.
#nullable enable
        internal static BoundBlock? BindSynthesizedMethodBody(MethodSymbol method, TypeCompilationState compilationState, BindingDiagnosticBag diagnostics)
        {
            return BindMethodBody(
                method,
                compilationState,
                diagnostics,
                includeInitializersInBody: false,
                initializersBody: null,
                reportNullableDiagnostics: true,
                importChain: out _,
                originalBodyNested: out _,
                prependedDefaultValueTypeConstructorInitializer: out _,
                forSemanticModel: out _);
        }
 
        // NOTE: can return null if the method has no body.
        private static BoundBlock? BindMethodBody(
            MethodSymbol method,
            TypeCompilationState compilationState,
            BindingDiagnosticBag diagnostics,
            bool includeInitializersInBody,
            BoundNode? initializersBody,
            bool reportNullableDiagnostics,
            out ImportChain? importChain,
            out bool originalBodyNested,
            out bool prependedDefaultValueTypeConstructorInitializer,
            out MethodBodySemanticModel.InitialState forSemanticModel)
        {
            originalBodyNested = false;
            prependedDefaultValueTypeConstructorInitializer = false;
            importChain = null;
            forSemanticModel = default;
 
            BoundBlock? body;
            NullableWalker.VariableState? nullableInitialState = null;
 
            initializersBody ??= GetSynthesizedEmptyBody(method);
 
            if (method is SourceMemberMethodSymbol sourceMethod)
            {
                CSharpSyntaxNode syntaxNode = sourceMethod.SyntaxNode;
 
                // Static constructor can't have any this/base call
                if (method.MethodKind == MethodKind.StaticConstructor &&
                    syntaxNode is ConstructorDeclarationSyntax constructorSyntax &&
                    constructorSyntax.Initializer != null)
                {
                    diagnostics.Add(
                        ErrorCode.ERR_StaticConstructorWithExplicitConstructorCall,
                        constructorSyntax.Initializer.ThisOrBaseKeyword.GetLocation(),
                        constructorSyntax.Identifier.ValueText);
                }
 
                Debug.Assert(!sourceMethod.IsDefaultValueTypeConstructor());
                if (sourceMethod.IsExtern)
                {
                    return null;
                }
 
                Binder bodyBinder = sourceMethod.TryGetBodyBinder();
                if (bodyBinder != null)
                {
                    importChain = bodyBinder.ImportChain;
 
#if DEBUG
                    InMethodBinder? inMethodBinder;
                    ConcurrentDictionary<IdentifierNameSyntax, int>? identifierMap;
                    buildIdentifierMapOfBindIdentifierTargets(syntaxNode, bodyBinder, out inMethodBinder, out identifierMap);
#endif
 
                    BoundNode methodBody = bodyBinder.BindWithLambdaBindingCountDiagnostics(
                        syntaxNode,
                        (object?)null,
                        diagnostics,
                        static (bodyBinder, syntaxNode, _, diagnostics) => bodyBinder.BindMethodBody(syntaxNode, diagnostics));
 
#if DEBUG
                    assertBindIdentifierTargets(inMethodBinder, identifierMap, methodBody, diagnostics);
#endif
 
                    BoundNode methodBodyForSemanticModel = methodBody;
                    NullableWalker.SnapshotManager? snapshotManager = null;
                    ImmutableDictionary<Symbol, Symbol>? remappedSymbols = null;
                    var compilation = bodyBinder.Compilation;
 
                    nullableInitialState = getInitializerState(methodBody);
 
                    if (reportNullableDiagnostics)
                    {
                        Debug.Assert(diagnostics.DiagnosticBag != null);
                        if (compilation.IsNullableAnalysisEnabledIn(method))
                        {
                            var isSufficientLangVersion = compilation.LanguageVersion >= MessageID.IDS_FeatureNullableReferenceTypes.RequiredVersion();
 
                            methodBodyForSemanticModel = NullableWalker.AnalyzeAndRewrite(
                                compilation,
                                method,
                                methodBody,
                                bodyBinder,
                                nullableInitialState,
                                // if language version is insufficient, we do not want to surface nullability diagnostics,
                                // but we should still provide nullability information through the semantic model.
                                isSufficientLangVersion ? diagnostics.DiagnosticBag : new DiagnosticBag(),
                                createSnapshots: true,
                                out snapshotManager,
                                ref remappedSymbols);
                        }
                        else
                        {
                            NullableWalker.AnalyzeIfNeeded(
                                compilation,
                                method,
                                methodBody,
                                diagnostics.DiagnosticBag,
                                useConstructorExitWarnings: true,
                                nullableInitialState,
                                getFinalNullableState: false,
                                baseOrThisInitializer: null,
                                finalNullableState: out _);
                        }
                    }
 
                    forSemanticModel = new MethodBodySemanticModel.InitialState(syntaxNode, methodBodyForSemanticModel, bodyBinder, snapshotManager, remappedSymbols);
 
#if DEBUG
                    Debug.Assert(IsEmptyRewritePossible(methodBody));
                    Debug.Assert(WasPropertyBackingFieldAccessChecked.FindUncheckedAccess(methodBody) is null);
#endif
 
                    RefSafetyAnalysis.Analyze(compilation, method, methodBody, diagnostics);
 
                    switch (methodBody.Kind)
                    {
                        case BoundKind.ConstructorMethodBody:
                            var constructor = (BoundConstructorMethodBody)methodBody;
                            body = constructor.BlockBody ?? constructor.ExpressionBody!;
 
                            if (constructor.Initializer is BoundExpressionStatement expressionStatement)
                            {
                                ReportCtorInitializerCycles(method, expressionStatement.Expression, compilationState, diagnostics);
 
                                if (body == null)
                                {
                                    body = new BoundBlock(constructor.Syntax, constructor.Locals, ImmutableArray.Create<BoundStatement>(constructor.Initializer));
                                }
                                else
                                {
                                    body = new BoundBlock(constructor.Syntax, constructor.Locals, ImmutableArray.Create<BoundStatement>(constructor.Initializer, body));
                                    originalBodyNested = true;
                                    prependedDefaultValueTypeConstructorInitializer =
                                        expressionStatement.Expression is BoundCall { Method: var initMethod } && initMethod.IsDefaultValueTypeConstructor();
                                }
 
                            }
                            else
                            {
                                Debug.Assert(constructor.Initializer is null);
                                Debug.Assert(constructor.Locals.IsEmpty);
                                Debug.Assert(BindImplicitConstructorInitializerIfAny(method, compilationState, BindingDiagnosticBag.Discarded) is null);
                            }
 
                            return body;
 
                        case BoundKind.NonConstructorMethodBody:
                            var nonConstructor = (BoundNonConstructorMethodBody)methodBody;
                            body = nonConstructor.BlockBody ?? nonConstructor.ExpressionBody!;
                            Debug.Assert(body != null);
                            break;
 
                        case BoundKind.Block:
                            body = (BoundBlock)methodBody;
                            break;
                        default:
                            throw ExceptionUtilities.UnexpectedValue(methodBody.Kind);
                    }
                }
                else
                {
                    if (sourceMethod is SourcePropertyAccessorSymbol { IsAutoPropertyAccessor: true })
                    {
                        return MethodBodySynthesizer.ConstructAutoPropertyAccessorBody(sourceMethod);
                    }
 
                    return null;
                }
            }
            else if (method is SynthesizedInstanceConstructor ctor)
            {
                // Synthesized instance constructors may partially synthesize
                // their body
                var node = ctor.GetNonNullSyntaxNode();
                var factory = new SyntheticBoundNodeFactory(ctor, node, compilationState, diagnostics);
                var stmts = ArrayBuilder<BoundStatement>.GetInstance();
                ctor.GenerateMethodBodyStatements(factory, stmts, diagnostics);
                body = BoundBlock.SynthesizedNoLocals(node, stmts.ToImmutableAndFree());
                nullableInitialState = getInitializerState(body);
            }
            else
            {
                // synthesized methods should return their bound bodies
                body = null;
                nullableInitialState = getInitializerState(null);
            }
 
            if (reportNullableDiagnostics && method.IsConstructor() && method.IsImplicitlyDeclared && nullableInitialState is object)
            {
                Debug.Assert(diagnostics.AccumulatesDiagnostics);
                NullableWalker.AnalyzeIfNeeded(
                    compilationState.Compilation,
                    method,
                    body ?? GetSynthesizedEmptyBody(method),
                    diagnostics.DiagnosticBag,
                    useConstructorExitWarnings: true,
                    nullableInitialState,
                    getFinalNullableState: false,
                    baseOrThisInitializer: null,
                    finalNullableState: out _);
            }
 
            if (method.MethodKind == MethodKind.Destructor && body != null)
            {
                return MethodBodySynthesizer.ConstructDestructorBody(method, body);
            }
 
            var constructorInitializer = BindImplicitConstructorInitializerIfAny(method, compilationState, diagnostics);
            ImmutableArray<BoundStatement> statements;
 
            if (constructorInitializer == null)
            {
                if (body != null)
                {
                    return body;
                }
 
                statements = ImmutableArray<BoundStatement>.Empty;
            }
            else if (body == null)
            {
                statements = ImmutableArray.Create(constructorInitializer);
            }
            else
            {
                statements = ImmutableArray.Create(constructorInitializer, body);
                originalBodyNested = true;
            }
 
            return BoundBlock.SynthesizedNoLocals(method.GetNonNullSyntaxNode(), statements);
 
            NullableWalker.VariableState? getInitializerState(BoundNode? body)
            {
                if (reportNullableDiagnostics && includeInitializersInBody)
                {
                    return NullableWalker.GetAfterInitializersState(compilationState.Compilation, method, initializersBody, body, diagnostics);
                }
 
                return null;
            }
 
#if DEBUG
            // Predict all identifiers in the body that should go through Binder.BindIdentifier method
            static void buildIdentifierMapOfBindIdentifierTargets(
                CSharpSyntaxNode syntaxNode, Binder bodyBinder,
                out InMethodBinder? inMethodBinder, out ConcurrentDictionary<IdentifierNameSyntax, int>? identifierMap)
            {
                inMethodBinder = null;
                identifierMap = null;
 
                switch (syntaxNode)
                {
                    case BaseMethodDeclarationSyntax:
                    case AccessorDeclarationSyntax:
                    case ArrowExpressionClauseSyntax:
 
                        Binder current = bodyBinder;
                        while (current is not InMethodBinder)
                        {
                            current = current.Next!;
                        }
 
                        inMethodBinder = (InMethodBinder)current;
                        identifierMap = new ConcurrentDictionary<IdentifierNameSyntax, int>(ReferenceEqualityComparer.Instance);
 
                        switch (syntaxNode)
                        {
                            case ConstructorDeclarationSyntax s:
                                addIdentifiers(s.Initializer, identifierMap);
                                addIdentifiers(s.Body, identifierMap);
                                addIdentifiers(s.ExpressionBody, identifierMap);
                                break;
 
                            case BaseMethodDeclarationSyntax s:
                                addIdentifiers(s.Body, identifierMap);
                                addIdentifiers(s.ExpressionBody, identifierMap);
                                break;
 
                            case AccessorDeclarationSyntax s:
                                addIdentifiers(s.Body, identifierMap);
                                addIdentifiers(s.ExpressionBody, identifierMap);
                                break;
 
                            case ArrowExpressionClauseSyntax s:
                                addIdentifiers(s, identifierMap);
                                break;
 
                            default:
                                throw ExceptionUtilities.UnexpectedValue(syntaxNode);
                        }
 
                        Interlocked.CompareExchange(ref inMethodBinder.IdentifierMap, identifierMap, null);
                        break;
                }
            }
 
            // Logic in this lambda is based on Binder.IdentifierUsedAsValueFinder.CheckIdentifiersInNode.childrenNeedChecking.
            // It can be more permissive (i.e. allow us to dive into more nodes), but should not be more restrictive
            static void addIdentifiers(CSharpSyntaxNode? node, ConcurrentDictionary<IdentifierNameSyntax, int> identifierMap)
            {
                if (node is null)
                {
                    return;
                }
 
                var ids = node.DescendantNodes(
                    descendIntoChildren: static (n) =>
                    {
                        switch (n)
                        {
                            case MemberBindingExpressionSyntax:
                            case BaseExpressionColonSyntax:
                            case NameEqualsSyntax:
                            case GotoStatementSyntax { RawKind: (int)SyntaxKind.GotoStatement }:
                            case TypeParameterConstraintClauseSyntax:
                            case AliasQualifiedNameSyntax:
                                // These nodes do not have anything interesting for us
                                return false;
 
                            case ExpressionSyntax expression:
                                if (SyntaxFacts.IsInTypeOnlyContext(expression) &&
                                    !(expression.Parent is BinaryExpressionSyntax { RawKind: (int)SyntaxKind.IsExpression } isExpression &&
                                      isExpression.Right == expression))
                                {
                                    return false;
                                }
                                break;
                        }
 
                        return true;
                    },
                    descendIntoTrivia: false
                    ).OfType<IdentifierNameSyntax>().Where(
                    static (id) =>
                    {
                        switch (id.Parent)
                        {
                            case MemberAccessExpressionSyntax memberAccess:
                                if (memberAccess.Expression != id)
                                {
                                    return false;
                                }
                                break;
 
                            case QualifiedNameSyntax qualifiedName:
                                if (qualifiedName.Left != id)
                                {
                                    return false;
                                }
                                break;
 
                            case AssignmentExpressionSyntax assignment:
                                if (assignment.Left == id &&
                                    assignment.Parent?.Kind() is SyntaxKind.ObjectInitializerExpression or SyntaxKind.WithInitializerExpression)
                                {
                                    return false;
                                }
                                break;
                        }
 
                        if (SyntaxFacts.IsInTypeOnlyContext(id) &&
                            !(id.Parent is BinaryExpressionSyntax { RawKind: (int)SyntaxKind.IsExpression } isExpression &&
                                isExpression.Right == id))
                        {
                            return false;
                        }
 
                        return true;
                    }
                    );
 
                foreach (var id in ids)
                {
                    identifierMap.Add(id, 1);
                }
            }
 
            // Confirm that our prediction was accurate enough.
            // Correctness of SynthesizedPrimaryConstructor.GetCapturedParameters depends on this.
            static void assertBindIdentifierTargets(InMethodBinder? inMethodBinder, ConcurrentDictionary<IdentifierNameSyntax, int>? identifierMap, BoundNode methodBody, BindingDiagnosticBag diagnostics)
            {
                if (identifierMap != null && inMethodBinder!.IdentifierMap == identifierMap)
                {
                    inMethodBinder.IdentifierMap = null;
 
                    // In presence of errors, we're not guaranteed to have bound all identifiers, so we don't care about correctness of our prediction
                    if (!diagnostics.HasAnyResolvedErrors())
                    {
                        foreach (var (id, flags) in identifierMap)
                        {
                            if (flags != (1 | 2))
                            {
                                if (id.IsMissing)
                                {
                                    continue;
                                }
 
                                if (flags == 1)
                                {
                                    CSharpSyntaxNode child = id;
                                    var parent = child.Parent;
 
                                    while (parent is QualifiedNameSyntax qualifiedName)
                                    {
                                        child = qualifiedName;
                                        parent = child.Parent;
                                    }
 
                                    if (parent is BinaryExpressionSyntax { RawKind: (int)SyntaxKind.IsExpression } isExpression && isExpression.Right == child)
                                    {
                                        continue;
                                    }
 
                                    if (id.Parent is InvocationExpressionSyntax invocation && invocation.Expression == id && invocation.MayBeNameofOperator())
                                    {
                                        continue;
                                    }
 
                                    if (UnboundLambdaFinder.FoundInUnboundLambda(methodBody, id))
                                    {
                                        continue;
                                    }
 
                                    // If an attribute is misplaced (invalid target), it is expected that identifiers within were not bound.
                                    // In that case, we emit a warning and skip binding the attribute.
                                    if (id.Ancestors(ascendOutOfTrivia: false).OfType<AttributeListSyntax>().Any() &&
                                        diagnostics.DiagnosticBag!.AsEnumerable().Any(d => d.Code == (int)ErrorCode.WRN_AttributeLocationOnBadDeclaration))
                                    {
                                        continue;
                                    }
                                }
 
                                Debug.Assert(false);
                            }
                        }
                    }
                }
            }
#endif
        }
 
#if DEBUG
        private static bool IsEmptyRewritePossible(BoundNode node)
        {
            var rewriter = new EmptyRewriter();
            try
            {
                var rewritten = rewriter.Visit(node);
                return (object)rewritten == node;
            }
            catch (BoundTreeVisitor.CancelledByStackGuardException)
            {
                return true;
            }
        }
 
        private sealed class EmptyRewriter : BoundTreeRewriterWithStackGuardWithoutRecursionOnTheLeftOfBinaryOperator
        {
        }
 
        private sealed class UnboundLambdaFinder : BoundTreeWalkerWithStackGuardWithoutRecursionOnTheLeftOfBinaryOperator
        {
            private bool _found;
            private readonly IdentifierNameSyntax _id;
 
            private UnboundLambdaFinder(IdentifierNameSyntax id)
            {
                _id = id;
            }
 
            public static bool FoundInUnboundLambda(BoundNode methodBody, IdentifierNameSyntax id)
            {
                var walker = new UnboundLambdaFinder(id);
                walker.Visit(methodBody);
                return walker._found;
            }
 
            public override BoundNode? VisitUnboundLambda(UnboundLambda node)
            {
                if (!LambdaUtilities.TryGetLambdaBodies(node.Syntax, out var body1, out var body2))
                {
                    return base.VisitUnboundLambda(node);
                }
 
                if (body1?.DescendantNodesAndSelf().Where(n => (object)n == _id).Any() == true ||
                    body2?.DescendantNodesAndSelf().Where(n => (object)n == _id).Any() == true)
                {
                    _found = true;
                }
 
                return node;
            }
 
            public override BoundNode? Visit(BoundNode? node)
            {
                if (_found)
                {
                    return node;
                }
 
                return base.Visit(node);
            }
        }
 
        private sealed class WasPropertyBackingFieldAccessChecked : BoundTreeWalkerWithStackGuardWithoutRecursionOnTheLeftOfBinaryOperator
        {
            public static BoundPropertyAccess? FindUncheckedAccess(BoundNode node)
            {
                var walker = new WasPropertyBackingFieldAccessChecked();
                walker.Visit(node);
                return walker._found;
            }
 
            private BoundPropertyAccess? _found;
            private bool _suppressChecking;
 
            private WasPropertyBackingFieldAccessChecked()
            {
            }
 
            public override BoundNode? Visit(BoundNode? node)
            {
                if (_found is { })
                {
                    return null;
                }
 
                return base.Visit(node);
            }
 
            public override BoundNode? VisitPropertyAccess(BoundPropertyAccess node)
            {
                if (!_suppressChecking &&
                    !node.WasPropertyBackingFieldAccessChecked)
                {
                    _found = node;
                }
 
                return base.VisitPropertyAccess(node);
            }
 
            public override BoundNode? VisitRangeVariable(BoundRangeVariable node)
            {
                using (new ChangeSuppression(this, suppressChecking: true))
                {
                    return base.VisitRangeVariable(node);
                }
            }
 
            public override BoundNode? VisitAssignmentOperator(BoundAssignmentOperator node)
            {
                using (new ChangeSuppression(this, suppressChecking: false))
                {
                    return base.VisitAssignmentOperator(node);
                }
            }
 
            public override BoundNode? VisitNameOfOperator(BoundNameOfOperator node)
            {
                using (new ChangeSuppression(this, suppressChecking: true))
                {
                    return base.VisitNameOfOperator(node);
                }
            }
 
            public override BoundNode? VisitBadExpression(BoundBadExpression node)
            {
                using (new ChangeSuppression(this, suppressChecking: true))
                {
                    return base.VisitBadExpression(node);
                }
            }
 
            private struct ChangeSuppression : IDisposable
            {
                private readonly WasPropertyBackingFieldAccessChecked _walker;
                private readonly bool _previousValue;
 
                internal ChangeSuppression(WasPropertyBackingFieldAccessChecked walker, bool suppressChecking)
                {
                    _walker = walker;
                    _previousValue = walker._suppressChecking;
                    walker._suppressChecking = suppressChecking;
                }
 
                public void Dispose()
                {
                    _walker._suppressChecking = _previousValue;
                }
            }
        }
#endif
#nullable disable
 
        private static BoundBlock GetSynthesizedEmptyBody(Symbol symbol)
        {
            return BoundBlock.SynthesizedNoLocals(symbol.GetNonNullSyntaxNode());
        }
 
        private static BoundStatement BindImplicitConstructorInitializerIfAny(MethodSymbol method, TypeCompilationState compilationState, BindingDiagnosticBag diagnostics)
        {
            Debug.Assert(!method.ContainingType.IsDelegateType());
 
            // delegates have constructors but not constructor initializers
            if (method.MethodKind == MethodKind.Constructor && !method.IsExtern)
            {
                var compilation = method.DeclaringCompilation;
                var initializerInvocation = Binder.BindImplicitConstructorInitializer(method, diagnostics, compilation);
 
                if (initializerInvocation != null)
                {
                    ReportCtorInitializerCycles(method, initializerInvocation, compilationState, diagnostics);
 
                    //  Base WasCompilerGenerated state off of whether constructor is implicitly declared, this will ensure proper instrumentation.
                    var constructorInitializer = new BoundExpressionStatement(initializerInvocation.Syntax, initializerInvocation) { WasCompilerGenerated = method.IsImplicitlyDeclared };
                    Debug.Assert(initializerInvocation.HasAnyErrors || constructorInitializer.IsConstructorInitializer(), "Please keep this bound node in sync with BoundNodeExtensions.IsConstructorInitializer.");
                    return constructorInitializer;
                }
            }
 
            return null;
        }
 
        private static void ReportCtorInitializerCycles(MethodSymbol method, BoundExpression initializerInvocation, TypeCompilationState compilationState, BindingDiagnosticBag diagnostics)
        {
            var ctorCall = initializerInvocation as BoundCall;
            if (ctorCall != null && !ctorCall.HasAnyErrors && ctorCall.Method != method && TypeSymbol.Equals(ctorCall.Method.ContainingType, method.ContainingType, TypeCompareKind.ConsiderEverything2))
            {
                // Detect and report indirect cycles in the ctor-initializer call graph.
                compilationState.ReportCtorInitializerCycles(method, ctorCall.Method, ctorCall.Syntax, diagnostics);
            }
        }
 
        private static Cci.DebugSourceDocument CreateDebugDocumentForFile(string normalizedPath)
        {
            return new Cci.DebugSourceDocument(normalizedPath, Cci.DebugSourceDocument.CorSymLanguageTypeCSharp);
        }
 
        private static bool PassesFilter(Predicate<Symbol> filterOpt, Symbol symbol)
        {
            return (filterOpt == null) || filterOpt(symbol);
        }
    }
}