using System;
using System.Linq;

using Microsoft.EntityFrameworkCore;

namespace BugRepro.SampleNamespace
{
    record SampleTable([property: System.ComponentModel.DataAnnotations.Key] string SampleColumn);
    class WeefeDbContext : DbContext
    {
        public DbSet<SampleTable> SampleTables { get; set; }
        protected override void OnConfiguring(DbContextOptionsBuilder optionsBuilder)
            => optionsBuilder.UseMySQL("server=mysql;uid=root;pwd=password;database=sample_db;charset=utf8mb4");
    }
    class Program
    {
        static void Main(string[] args)
        {
            using (WeefeDbContext dbContext = new WeefeDbContext())
            {
                var result = dbContext.SampleTables.Count(c => c.SampleColumn.StartsWith("a"));
                Console.WriteLine("resule evaluated! S: {0}", result);
            }
        }
    }
}