New include overloads to support including navigations using lambda on derived types while querying base type

IncludeOverloads.cs

public static class EntityFrameworkQuerybleExtensions
{
    #region Current

    public static IIncludableQueryable<TEntity, TProperty> Include<TEntity, TProperty>(
        this IQueryable<TEntity> source,
        Expression<Func<TEntity, TProperty>> navigationPropertyPath)
        where TEntity : class
    {
        return default(IIncludableQueryable<TEntity, TProperty>);
    }

    public static IIncludableQueryable<TEntity, TProperty> ThenInclude<TEntity, TPreviousProperty, TProperty>(
        this IIncludableQueryable<TEntity, TPreviousProperty> source,
        Expression<Func<TPreviousProperty, TProperty>> navigationPropertyPath) where TEntity : class
    {
        return default(IIncludableQueryable<TEntity, TProperty>);
    }

    public static IIncludableQueryable<TEntity, TProperty> ThenInclude<TEntity, TPreviousProperty, TProperty>(
        this IIncludableQueryable<TEntity, ICollection<TPreviousProperty>> source,
        Expression<Func<TPreviousProperty, TProperty>> navigationPropertyPath) where TEntity : class
    {
        return default(IIncludableQueryable<TEntity, TProperty>);
    }

    #endregion

    #region NewOverloads

    public static IIncludableQueryable<TEntity, TProperty> Include<TEntity, TDerived, TProperty>(
        this IQueryable<TEntity> source,
        Expression<Func<TDerived, TProperty>> navigationPropertyPath)
        where TEntity : class
        where TDerived : TEntity
    {
        return default(IIncludableQueryable<TEntity, TProperty>);
    }

    public static IIncludableQueryable<TEntity, TProperty> ThenInclude<TEntity, TPreviousProperty, TDerived, TProperty>(
        this IIncludableQueryable<TEntity, TPreviousProperty> source,
        Expression<Func<TDerived, TProperty>> navigationPropertyPath) where TEntity : class where TDerived : TPreviousProperty
    {
        return default(IIncludableQueryable<TEntity, TProperty>);
    }

    public static IIncludableQueryable<TEntity, TProperty> ThenInclude<TEntity, TPreviousProperty, TDerived, TProperty>(
        this IIncludableQueryable<TEntity, ICollection<TPreviousProperty>> source,
        Expression<Func<TDerived, TProperty>> navigationPropertyPath) where TEntity : class where TDerived : TPreviousProperty
    {
        return default(IIncludableQueryable<TEntity, TProperty>);
    }

    #endregion
}

@smitpatel, collection navigations are actually of type IEnumerable<TPreviousProperty> rather than ICollection<TPreviousProperty> in the actual code, correct?