{"ast_node_type":"function","tokens":[{"end":65,"kind":"keyword","start":0,"text":"pub"}]}
    pub fn insert(&mut self, pred: ty::Predicate<'tcx>) -> bool {
    ///   and the predicate passed as argument is dropped.
        // We have to be careful here because we want