2024-07-07 14:02:30 +00:00
|
|
|
#![feature(trait_alias)]
|
|
|
|
|
2025-03-20 23:01:32 +00:00
|
|
|
//@ set StrLike = "$.index[?(@.name=='StrLike')].id"
|
|
|
|
//@ is "$.index[?(@.name=='StrLike')].visibility" \"public\"
|
|
|
|
//@ has "$.index[?(@.name=='StrLike')].inner.trait_alias"
|
|
|
|
//@ is "$.index[?(@.name=='StrLike')].span.filename" $FILE
|
2024-07-07 14:02:30 +00:00
|
|
|
pub trait StrLike = AsRef<str>;
|
|
|
|
|
2025-03-20 23:01:32 +00:00
|
|
|
//@ is "$.index[?(@.name=='f')].inner.function.sig.output.impl_trait[0].trait_bound.trait.id" $StrLike
|
2024-07-07 14:02:30 +00:00
|
|
|
pub fn f() -> impl StrLike {
|
|
|
|
"heya"
|
|
|
|
}
|
|
|
|
|
2025-03-20 23:01:32 +00:00
|
|
|
//@ !is "$.index[?(@.name=='g')].inner.function.sig.output.impl_trait[0].trait_bound.trait.id" $StrLike
|
2024-07-07 14:02:30 +00:00
|
|
|
pub fn g() -> impl AsRef<str> {
|
|
|
|
"heya"
|
|
|
|
}
|