//@ set IntVec = "$.index[?(@.name=='IntVec')].id"
//@ is "$.index[?(@.name=='IntVec')].visibility" \"public\"
//@ has "$.index[?(@.name=='IntVec')].inner.type_alias"
//@ is "$.index[?(@.name=='IntVec')].span.filename" $FILE
pub type IntVec = Vec<u32>;

//@ is "$.index[?(@.name=='f')].inner.function.sig.output.resolved_path.id" $IntVec
pub fn f() -> IntVec {
    vec![0; 32]
}

//@ !is "$.index[?(@.name=='g')].inner.function.sig.output.resolved_path.id" $IntVec
pub fn g() -> Vec<u32> {
    vec![0; 32]
}