Trait MarkerAggValidFor 

pub trait MarkerAggValidFor<Grouped, Proof = ()> { }

Validates that the SELECT list is legal given the grouped column set.

• Grouped = () (no GROUP BY): everything is valid
• Grouped = Cons<...> (has GROUP BY): scalar columns must be in the list

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<Mk> MarkerAggValidFor<()> for Mk

impl<Scope, Cols, Head, Tail, Proof> MarkerAggValidFor<Cons<Head, Tail>, Proof> for Scoped<SelectCols<Cols>, Scope>

where Cols: ScalarColumnsIn<Cons<Head, Tail>, Proof>,

impl<Scope, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectExpr, Scope>

impl<Scope, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectStar, Scope>

impl<Scope, R, Head, Tail> MarkerAggValidFor<Cons<Head, Tail>> for Scoped<SelectAs<R>, Scope>