Entity Framework Core - атрибут DefaultValue (true) не работает

Каков первый подход к коду для установки значения по умолчанию для столбца базы данных в ядре инфраструктуры сущностей?

Попытка № 1: Использование атрибута DefaultValue в модели не работает

[DefaultValue(true)]
public bool ShowInReports { get; set; }

После выполнения миграции dotnet ef версии 5.0.1 генерирует следующий код:

    migrationBuilder.AddColumn<bool>(
        name: "ShowInReports",
        table: "ParametersUsed",
        nullable: false,
        defaultValue: false);

Попытка №2: попытка определить значение в OnModelCreating не распознает функцию:

    modelBuilder.Entity<TableName>()
        .Property(t=> t.ShowInReports)
        .HasDefaultValue(true);

Ошибка: 'PropertyBuilder<bool>' does not contain a definition for 'HasDefaultValue' and no accessible extension method 'HasDefaultValue' accepting a first argument of type 'PropertyBuilder<bool>' could be found (are you missing a using directive or an assembly reference?)