Rollup merge of #83643 - JohnTitor:is-freeze-no-longer-uses-span, r=RalfJung

Remove a FIXME resolved by #73578

r? ``@RalfJung``
This commit is contained in:
Dylan DPC 2021-03-30 00:32:24 +02:00 committed by GitHub
commit fca8e7dd88
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -699,7 +699,6 @@ impl<'tcx> ty::TyS<'tcx> {
/// 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.
// FIXME: use `TyCtxtAt` instead of separate `Span`.
pub fn is_freeze(&'tcx self, tcx_at: TyCtxtAt<'tcx>, param_env: ty::ParamEnv<'tcx>) -> bool {
self.is_trivially_freeze() || tcx_at.is_freeze_raw(param_env.and(self))
}