namespace Microsoft.EntityFrameworkCore
{
    public class DbContextOptionsBuilder<TContext> : DbContextOptionsBuilder
        where TContext, DbContext!
    {
        public virtual DbContextOptionsBuilder<TContext!>! ReplaceService<TService, TCurrentImplementation, TNewImplementation>()
            where TCurrentImplementation, TService
            where TNewImplementation, TService;
    }
}