diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2017-11-08 08:50:59 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2017-11-18 07:47:36 -0500 |
| commit | decf3d33d08ad6c89843421ffca543dceb00bb78 (patch) | |
| tree | 88f345bac89a78c7c7458e01743ada1b6e392b34 /src/librustc/util | |
| parent | 0ac8542abc0a2497cda02dcc0544c0da6f46644f (diff) | |
| download | rust-decf3d33d08ad6c89843421ffca543dceb00bb78.tar.gz rust-decf3d33d08ad6c89843421ffca543dceb00bb78.zip | |
make `ty::Predicate` carry a `ClosureSubsts`
Diffstat (limited to 'src/librustc/util')
| -rw-r--r-- | src/librustc/util/ppaux.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/librustc/util/ppaux.rs b/src/librustc/util/ppaux.rs index acb929981fb..f130f28153e 100644 --- a/src/librustc/util/ppaux.rs +++ b/src/librustc/util/ppaux.rs @@ -1257,7 +1257,7 @@ define_print! { ty::tls::with(|tcx| { write!(f, "the trait `{}` is object-safe", tcx.item_path_str(trait_def_id)) }), - ty::Predicate::ClosureKind(closure_def_id, kind) => + ty::Predicate::ClosureKind(closure_def_id, _closure_substs, kind) => ty::tls::with(|tcx| { write!(f, "the closure `{}` implements the trait `{}`", tcx.item_path_str(closure_def_id), kind) @@ -1281,8 +1281,8 @@ define_print! { ty::Predicate::ObjectSafe(trait_def_id) => { write!(f, "ObjectSafe({:?})", trait_def_id) } - ty::Predicate::ClosureKind(closure_def_id, kind) => { - write!(f, "ClosureKind({:?}, {:?})", closure_def_id, kind) + ty::Predicate::ClosureKind(closure_def_id, closure_substs, kind) => { + write!(f, "ClosureKind({:?}, {:?}, {:?})", closure_def_id, closure_substs, kind) } ty::Predicate::ConstEvaluatable(def_id, substs) => { write!(f, "ConstEvaluatable({:?}, {:?})", def_id, substs) |