diff options
Diffstat (limited to 'src/librustc/ty/error.rs')
| -rw-r--r-- | src/librustc/ty/error.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/librustc/ty/error.rs b/src/librustc/ty/error.rs index b3a1b312ca1..a1edf67e475 100644 --- a/src/librustc/ty/error.rs +++ b/src/librustc/ty/error.rs @@ -218,9 +218,9 @@ impl<'a, 'gcx, 'lcx, 'tcx> ty::TyS<'tcx> { ty::Infer(ty::IntVar(_)) => "integral variable".to_string(), ty::Infer(ty::FloatVar(_)) => "floating-point variable".to_string(), ty::Infer(ty::CanonicalTy(_)) | - ty::Infer(ty::FreshTy(_)) => "skolemized type".to_string(), - ty::Infer(ty::FreshIntTy(_)) => "skolemized integral type".to_string(), - ty::Infer(ty::FreshFloatTy(_)) => "skolemized floating-point type".to_string(), + ty::Infer(ty::FreshTy(_)) => "fresh type".to_string(), + ty::Infer(ty::FreshIntTy(_)) => "fresh integral type".to_string(), + ty::Infer(ty::FreshFloatTy(_)) => "fresh floating-point type".to_string(), ty::Projection(_) => "associated type".to_string(), ty::UnnormalizedProjection(_) => "non-normalized associated type".to_string(), ty::Param(ref p) => { |