mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add a few more debug statements

Browse source
This commit is contained in:
Niko Matsakis 2014-10-09 17:17:49 -04:00
parent 2bb0796ae2
commit 7a07f2a780
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/librustc/middle/traits/select.rs
View file

@ -109,6 +109,7 @@ enum BuiltinBoundConditions {
AmbiguousBuiltin
}
#[deriving(Show)]
enum EvaluationResult {
EvaluatedToOk,
EvaluatedToErr,
@ -246,7 +247,9 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
obligation.repr(self.tcx()));
let stack = self.push_stack(previous_stack.map(|x| x), obligation);
self.evaluate_stack(&stack)
let result = self.evaluate_stack(&stack);
debug!("result: {}", result);
result
}
fn evaluate_stack(&mut self,
@ -259,6 +262,8 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
// that does provide an impl.
let input_types = &stack.skol_trait_ref.substs.types;
if input_types.iter().any(|&t| ty::type_is_skolemized(t)) {
debug!("evaluate_stack({}) --> unbound argument, must be ambiguous",
stack.skol_trait_ref.repr(self.tcx()));
return EvaluatedToAmbig;
}
@ -286,6 +291,8 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
.skip(1) // skip top-most frame
.any(|prev| stack.skol_trait_ref == prev.skol_trait_ref)
{
debug!("evaluate_stack({}) --> recursive",
stack.skol_trait_ref.repr(self.tcx()));
return EvaluatedToOk;
}