{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(err) = validate_impl_object_ty_plus(ty) {
        Some(ast::Type::ImplTraitType(ty)) => {
                errors.push(err);