#![crate_name = "foo"] pub trait Expression { type SqlType; } pub trait AsExpression { type Expression: Expression; fn as_expression(self) -> Self::Expression; } // @has foo/type.AsExprOf.html // @has - '//div[@class="item-decl"]/pre[@class="rust"]' 'type AsExprOf = >::Expression;' pub type AsExprOf = >::Expression;