// but this isn't the only place
}
let idx = CodeExtent(self.code_extents.borrow().len() as u32);
- info!("CodeExtent({}) = {:?} [parent={}]", idx.0, e, parent.0);
+ debug!("CodeExtent({}) = {:?} [parent={}]", idx.0, e, parent.0);
self.code_extents.borrow_mut().push(e);
self.scope_map.borrow_mut().push(parent);
*v.insert(idx)
let trait_obligation = obligation.with(data.clone());
match selcx.select(&trait_obligation) {
Ok(Some(vtable)) => {
- info!("selecting trait `{:?}` at depth {} yielded Ok(Some)",
+ debug!("selecting trait `{:?}` at depth {} yielded Ok(Some)",
data, obligation.recursion_depth);
Ok(Some(vtable.nested_obligations()))
}
Ok(None) => {
- info!("selecting trait `{:?}` at depth {} yielded Ok(None)",
+ debug!("selecting trait `{:?}` at depth {} yielded Ok(None)",
data, obligation.recursion_depth);
// This is a bit subtle: for the most part, the
self.dep_graph.read(data.dep_node());
debug!("check_duplicate: global predicate `{:?}` already proved elsewhere", data);
- info!("check_duplicate_trait hit: `{:?}`", data);
-
true
} else {
false
if data.is_global() {
if self.set.insert(data.clone()) {
debug!("add_if_global: global predicate `{:?}` added", data);
- info!("check_duplicate_trait entry: `{:?}`", data);
}
}
}