{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"ty"}]}
            ty
        if !ty.has_type_flags(TypeFlags::HAS_BINDER_VARS | TypeFlags::HAS_FREE_REGIONS) {
        } else if ty.has_infer() {