From 13ea9b877c68c62a52140f47d5e38adf5ee6c808 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Mon, 19 Nov 2018 11:57:22 -0500 Subject: [PATCH] pacify the mercilous eddyb ;) --- src/librustc/ty/util.rs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/librustc/ty/util.rs b/src/librustc/ty/util.rs index e50095c94d76b..c98c575fce28c 100644 --- a/src/librustc/ty/util.rs +++ b/src/librustc/ty/util.rs @@ -652,8 +652,10 @@ impl<'a, 'tcx> ty::TyS<'tcx> { /// Checks whether values of this type `T` implement the `Freeze` /// trait -- frozen types are those that do not contain a /// `UnsafeCell` anywhere. This is a language concept used to - /// determine how to handle `static` values, the trait itself is - /// not exposed to end users. + /// distinguish "true immutability", which is relevant to + /// optimization as well as the rules around static values. Note + /// that the `Freeze` trait is not exposed to end users and is + /// effectively an implementation detail. pub fn is_freeze(&'tcx self, tcx: TyCtxt<'a, 'tcx, 'tcx>, param_env: ty::ParamEnv<'tcx>,