OData supports a type segment following a single or collection of entity or complex types. The ABNF erroneously omits the type cast segment for collections of complex types.

Here is the current ABNF:

propertyPath = entityColNavigationProperty [ collectionNavigation ]
/ entityNavigationProperty [ singleNavigation ]
/ complexColProperty [ collectionPath ]
/ complexProperty [ complexPath ]
/ primitiveColProperty [ collectionPath ]
/ primitiveProperty [ singlePath ]
/ streamProperty [ boundOperation ]

collectionPath = count / boundOperation

singlePath = value / boundOperation

complexPath = [ "/" qualifiedComplexTypeName ]
( "/" propertyPath
/ boundOperation