| //@ jq_set IntVec = '.index[] | select(.name == "IntVec").id' |
| //@ jq_is '.index[] | select(.name == "IntVec").visibility' '"public"' |
| //@ jq_is '.index[] | select(.name == "IntVec").inner | has("type_alias")' true |
| //@ jq_is '.index[] | select(.name == "IntVec").span.filename' $FILE |
| pub type IntVec = Vec<u32>; |
| |
| //@ jq_is '.index[] | select(.name == "f").inner.function.sig.output.resolved_path.id' $IntVec |
| pub fn f() -> IntVec { |
| vec![0; 32] |
| } |
| |
| //@ !jq_is '.index[] | select(.name == "g").inner.function.sig.output.resolved_path.id' $IntVec |
| pub fn g() -> Vec<u32> { |
| vec![0; 32] |
| } |