namespace Microsoft.EntityFrameworkCore
{
    public class DbContextOptions<TContext> : DbContextOptions
        where TContext, DbContext!
    {
        public override DbContextOptions! WithExtension<TExtension>(TExtension! extension)
            where TExtension, class, IDbContextOptionsExtension!;
    }
}