InitOnlyPropertyBug | C# Online Compiler

InitOnlyPropertyBug by Anonymous

using System;

public static class Program {
    public record Person(String FirstName, String LastName);
	public class PersonInitOnly {
		public string FirstName { get; init; }
		public string LastName {get; init; }
		public PersonInitOnly(string firstName, string lastName) {
			FirstName = firstName;
			LastName = lastName;
		}
		public override string ToString() => $"{nameof(PersonInitOnly)} {{ {nameof(FirstName)} = {FirstName}, {nameof(LastName)} = {LastName} }}";
	}
    public class Container<T> {
        public T Value { get; init; }
        public Container(T value) => Value = value;
    }
    public static void Main() {
        var person = new Person("John", "Doe");
        var otherPerson = person;
        var container = new Container<Person>(person) {
            Value = {FirstName = "Jane"},
        };
        
        Console.WriteLine(person);
        Console.WriteLine(otherPerson);
		
		var ioPerson = new PersonInitOnly("John", "Doe");
		var ioContainer = new Container<PersonInitOnly>(ioPerson) {
			Value = { FirstName = "Jane" },
		};
		
		Console.WriteLine(ioPerson);
        
        Console.WriteLine("🌄");
    }
}

​x
 
using System;
​
public static class Program {
    public record Person(String FirstName, String LastName);
    public class PersonInitOnly {
        public string FirstName { get; init; }
        public string LastName {get; init; }
        public PersonInitOnly(string firstName, string lastName) {
            FirstName = firstName;
            LastName = lastName;
        }
        public override string ToString() => $"{nameof(PersonInitOnly)} {{ {nameof(FirstName)} = {FirstName}, {nameof(LastName)} = {LastName} }}";
    }
    public class Container<T> {
        public T Value { get; init; }
        public Container(T value) => Value = value;
    }
    public static void Main() {
        var person = new Person("John", "Doe");
        var otherPerson = person;
        var container = new Container<Person>(person) {
            Value = {FirstName = "Jane"},
        };
        
        Console.WriteLine(person);
        Console.WriteLine(otherPerson);
        
        var ioPerson = new PersonInitOnly("John", "Doe");
        var ioContainer = new Container<PersonInitOnly>(ioPerson) {
            Value = { FirstName = "Jane" },
        };
        
        Console.WriteLine(ioPerson);
        
        Console.WriteLine("🌄");
    }
}

Unhandled exception. System.TypeInitializationException: The type initializer for 'System.Data.Entity.DbContext' threw an exception.
---> System.TypeInitializationException: The type initializer for 'Z.EntityFramework.Classic.EntityFrameworkManager' threw an exception.
---> System.TypeInitializationException: The type initializer for '' threw an exception.
---> System.IO.FileNotFoundException: Could not load file or assembly 'System.Configuration.ConfigurationManager, Version=8.0.0.0, Culture=neutral, PublicKeyToken=cc7b13ffcd2ddd51'. The system cannot find the file specified.

File name: 'System.Configuration.ConfigurationManager, Version=8.0.0.0, Culture=neutral, PublicKeyToken=cc7b13ffcd2ddd51'
   at Z.Expressions.CompilerManager..cctor()
   at Z.Expressions.CompilerManager.LoadEntityFrameworkClassicConfiguration()
   at Z.Expressions.ExceptionMessage.ThrowLicenseException()
   at ..cctor()
   --- End of inner exception stack trace ---
   at .()
   at Z.EntityFramework.Classic.EntityFrameworkManager..cctor()
   --- End of inner exception stack trace ---
   at Z.EntityFramework.Classic.EntityFrameworkManager.Initialize()
   at System.Data.Entity.DbContext..cctor()
   --- End of inner exception stack trace ---
   at System.Data.Entity.DbContext..ctor(String nameOrConnectionString)
   at Program.EntityContext..ctor()
   at Program.GenerateData()
   at Program.Main()
Command terminated by signal 6

Last Run:	12:45:37 am
Compile:	0.059s
Execute:	0.18s
Memory:	11.72Mb
CPU:	0.239s

View IL Code