Creating and using C# 9.0 records

Consumer.cs

using System;

using RecordsProducer;

var lizard1 = new Reptile(Habitat.Terrestrial) { Name = "Agama" };
var lizard2 = new Reptile(Habitat.Terrestrial) { Name = "Agama" };

//use <LangVersion>latest</LangVersion>
var lizard3 = lizard1 with { Name = "Komodo dragon", Habitat = Habitat.Terrestrial };

var vertebrateLizard = new Vertebrate() { Name = "Agama" };
Console.WriteLine("Equal:" + (vertebrateLizard == lizard1));

Console.WriteLine(lizard1.ToString() + " == Reptile { Name = Agama, Habitat = Terrestrial }");

Vertebrate vertebrate = new Reptile(Habitat.Terrestrial) { Name = "Agama" };
Vertebrate other = vertebrate with { Name = "Komodo dragon" };
Console.WriteLine(other.ToString());

Console.WriteLine("IsInitOnly:" +typeof(Vertebrate).GetProperty(nameof(Vertebrate.Name)).IsInitOnly());

Producer.cs

using System;
using System.Linq;
using System.Reflection;

namespace RecordsProducer
{
    public enum Habitat
    {
        Terrestrial,
        Aquatic,
        Amphibian,
    }

    public record Vertebrate(string Name)
    {
        public Vertebrate() : this("") { }
    }
    public record Reptile(Habitat Habitat) : Vertebrate
    {

    }

    public static class RecordsHelper
    {
        public static bool IsInitOnly(this PropertyInfo property) =>
            property.CanWrite && property.SetMethod is var setter
                && setter.ReturnParameter.GetRequiredCustomModifiers() is var reqMods && reqMods.Length > 0
                && Array.IndexOf(reqMods, typeof(System.Runtime.CompilerServices.IsExternalInit)) > -1;
    }
}
#if NETSTANDARD2_0
namespace System.Runtime.CompilerServices
{
    [System.ComponentModel.EditorBrowsable(System.ComponentModel.EditorBrowsableState.Never)]
    internal static class IsExternalInit { }
}
#endif

RecordsConsumer.csproj

<Project Sdk="Microsoft.NET.Sdk">

  <PropertyGroup>
    <OutputType>Exe</OutputType>
    <TargetFrameworks>net48;net5.0</TargetFrameworks>

    <LangVersion>9.0</LangVersion>
    
  </PropertyGroup>

  <ItemGroup>
    <ProjectReference Include="..\RecordsProducer\RecordsProducer.csproj" />
  </ItemGroup>

</Project>

RecordsProducer.csproj

<Project Sdk="Microsoft.NET.Sdk">

  <PropertyGroup>
    <TargetFrameworks>netstandard2.0;net5.0</TargetFrameworks>

    <LangVersion>latest</LangVersion>
  </PropertyGroup>

</Project>