@hborla gave an explanation of this error and explained how it motivates the adoption of any P syntax: SE-0335: Introduce existential `any` - #112 by hborla
The root of your problem is the associated type. The type of the value on the left hand side has no constraint on the associated type, so any code that uses it has no idea what the type of the first argument of navigate(:,content:) is.