Method parse_rust_until

tools/fuzz-gen/src/specifications/preparser.rs:348–373

(&mut self, terminator: &str)

    }

    fn parse_rust_until(&mut self, terminator: &str) -> syn::Result<ExpressionWithoutId> {
        let mut t = vec![];

        while !self.peek_operator("|=") &&
              !self.peek_operator("&&") &&
              !self.peek_operator("==>") &&
              !self.peek_operator(terminator) &&
              !self.tokens.is_empty() {
            t.push(self.pop().unwrap());
        }
        let mut stream = TokenStream::new();
        stream.extend(t.into_iter());

        let cloned: VecDeque<TokenTree> = stream.clone().into_iter().collect();
        if let Some(span) = self.contains_operator_recursive(&cloned, "==>") {
            Err(self.error_no_implies(span))
        } else if cloned.is_empty() {
            Err(self.error_expected("expression"))
        } else {
            Ok(ExpressionWithoutId {
                spec_id: common::SpecificationId::dummy(),
                id: (),
                expr: syn::parse2(stream)?,
            })
        }
    }

    /// is there any non-prusti operator following the first thing?
    fn is_part_of_rust_expr(&mut self) -> bool {