{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"///"}]}
    ///   and the predicate passed as argument is dropped.
    ///   and the set is not modified: original predicate is not replaced,
    pub fn insert(&mut self, pred: ty::Predicate<'tcx>) -> bool {