EnC: Deleting record method that shadows a synthesized one and contains stackalloc may crash the app

[tmat]

record C(int X)
{
  bool G(Span<int> s) => true; 
  protected virtual bool PrintMembers(System.Text.StringBuilder builder) => G(stackalloc int[1]);
}

Deleting PrintMembers will crash the runtime if it contains an active statement.

record C(int X)
{
  protected virtual bool PrintMembers(System.Text.StringBuilder builder) => true; // active statement
}

Deleting PrintMembers with an active statement crashes EnC analyzer:

Error (active)	ENC0080	Modifying source file 'D:\Users\tomas\Source\Repos\ConsoleApp38\ConsoleApp38\Program.cs' requires restarting the application due to internal error: System.InvalidOperationException: Unexpected false - line 764
   at Roslyn.Utilities.Contract.Fail(String message, Int32 lineNumber)
   at Microsoft.CodeAnalysis.EditAndContinue.AbstractEditAndContinueAnalyzer.AnalyzeUnchangedActiveMemberBodies(ArrayBuilder`1 diagnostics, Match`1 topMatch, SourceText newText, ImmutableArray`1 oldActiveStatements, ImmutableArray`1 newActiveStatementSpans, Builder newActiveStatements, Builder newExceptionRegions, CancellationToken cancellationToken)
   at Microsoft.CodeAnalysis.EditAndContinue.AbstractEditAndContinueAnalyzer.AnalyzeDocumentAsync(Project oldProject, AsyncLazy`1 lazyOldActiveStatementMap, Document newDocument, ImmutableArray`1 newActiveStatementSpans, AsyncLazy`1 lazyCapabilities, CancellationToken cancellationToken)	ConsoleApp38, ConsoleApp38	D:\Users\tomas\Source\Repos\ConsoleApp38\ConsoleApp38\Program.cs	1