Cast segment after navigation property not supported conventionally

We currently support the following routes conventionally via the PropertyRoutingConvention:

{entityset}({key})/{structuralproperty}/{cast} or {entityset}/{key}/{structuralproperty}/{cast}
{singleton}/{structuralproperty}/{cast}

Where,

structuralproperty can be single-valued or collection-valued
the route is matched to Get{structuralproperty}Of{cast}

However, we DON'T support the following routes conventionally via the NavigationRoutingConvention:

{entityset}({key})/{navigationproperty}/{cast} or {singleton}/{key}/{navigationproperty}/{cast}
{singleton}/{navigationproperty}/{cast}

Where,

navigationproperty can be single-valued or collection-valued

I can't think of any reason why we would support a cast segment after a structural property conventionally and not support for navigation property.

Assemblies affected

ASP.NET Core OData 8.2.3

Reproduce steps

Create a simple repro project with the characteristics described above:

// Data model

namespace NS.Models
{
    public class Customer
    {
        public int Id { get; set; }
        public List<Order>? Orders { get; set; }
    }

    public class Order
    {
        public int Id { get; set; }
        public decimal Amount { get; set; }
    }

    public class VipOrder : Order
    {
    }
}

// Controllers

namespace NS.Controllers
{
    public class CustomersController : ODataController
    {
        private static readonly List<Customer> customers = new List<Customer>
        {
            new Customer
            {
                Id = 1,
                Orders = new List<Order>
                {
                    new VipOrder { Id = 1, Amount = 290 },
                    new Order { Id = 2, Amount = 170 }
                };
            }
        };

        [EnableQuery]
        public ActionResult<IEnumerable<VipOrder>> GetOrdersOfVipOrder(int key)
        {
            var customer = customers.SingleOrDefault(d => d.Id == key);

            if (customer == null)
            {
                return NotFound();
            }

            if (customer.Orders == null)
            {
                return Enumerable.Empty<VipOrder>().ToList();
            }

            return customer.Orders.OfType<VipOrder>().ToList();
        }
    }
}

// Startup code

using Microsoft.AspNetCore.OData;
using Microsoft.OData.ModelBuilder;
using NS.Models;

var builder = WebApplication.CreateBuilder(args);

var modelBuilder = new ODataConventionModelBuilder();
modelBuilder.EntitySet<Customer>("Customers");
modelBuilder.EntitySet<Order>("Orders");

builder.Services.AddControllers().AddOData(
    options => options.EnableQueryFeatures().AddRouteComponents(
        modelBuilder.GetEdmModel()));

var app = builder.Build();

app.UseODataRouteDebug();
app.UseRouting();
app.MapControllers();

app.Run();

Expected result

The following routes to be supported conventionally:

{entityset}({key})/{navigationproperty}/{cast} / {singleton}/{key}/{navigationproperty}/{cast}
{singleton}/{navigationproperty}/{cast}

Actual result

The following routes are not conventionally supported:

{entityset}({key})/{navigationproperty}/{cast} / {singleton}/{key}/{navigationproperty}/{cast}
{singleton}/{navigationproperty}/{cast}

Additional detail

Workaround is to use attribute routing, e.g.:

[HttpGet("Customers({key})/Orders/NS.Models.VipOrder")]
public ActionResult<IEnumerable<VipOrder>> GetOrdersOfVipOrder(int key)
{
    // ...
}

OData / AspNetCoreOData