We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b02a77d commit 1e54684Copy full SHA for 1e54684
src/comp/middle/tstate/auxiliary.rs
@@ -50,12 +50,14 @@ fn comma_str(args: [@constr_arg_use]) -> str {
50
fn constraint_to_str(tcx: ty::ctxt, c: sp_constr) -> str {
51
alt c.node {
52
ninit(id, i) {
53
- ret #fmt("init(%s id=%d [%s])",
+ ret #fmt("init(%s id=%d - arising from %s)",
54
i, id, tcx.sess.span_str(c.span));
55
}
56
npred(p, _, args) {
57
- ret path_to_str(p) + "(" + comma_str(args) + ")" + "[" +
58
- tcx.sess.span_str(c.span) + "]";
+ ret #fmt("%s(%s) - arising from %s",
+ path_to_str(p),
59
+ comma_str(args),
60
+ tcx.sess.span_str(c.span));
61
62
63
0 commit comments