File tree Expand file tree Collapse file tree 2 files changed +0
-16
lines changed Expand file tree Collapse file tree 2 files changed +0
-16
lines changed Original file line number Diff line number Diff line change @@ -111,15 +111,6 @@ pub trait TypeFoldable<'tcx>: fmt::Debug + Clone {
111111 self . has_type_flags ( TypeFlags :: HAS_FREE_REGIONS )
112112 }
113113
114- fn is_normalized_for_trans ( & self ) -> bool {
115- !self . has_type_flags ( TypeFlags :: HAS_RE_INFER |
116- TypeFlags :: HAS_FREE_REGIONS |
117- TypeFlags :: HAS_TY_INFER |
118- TypeFlags :: HAS_PARAMS |
119- TypeFlags :: HAS_NORMALIZABLE_PROJECTION |
120- TypeFlags :: HAS_TY_ERR |
121- TypeFlags :: HAS_SELF )
122- }
123114 /// Indicates whether this value references only 'global'
124115 /// types/lifetimes that are the same regardless of what fn we are
125116 /// in. This is used for caching. Errs on the side of returning
Original file line number Diff line number Diff line change @@ -1171,13 +1171,6 @@ impl RegionKind {
11711171 }
11721172 }
11731173
1174- pub fn needs_infer ( & self ) -> bool {
1175- match * self {
1176- ty:: ReVar ( ..) | ty:: ReSkolemized ( ..) => true ,
1177- _ => false
1178- }
1179- }
1180-
11811174 pub fn escapes_depth ( & self , depth : u32 ) -> bool {
11821175 match * self {
11831176 ty:: ReLateBound ( debruijn, _) => debruijn. depth > depth,
You can’t perform that action at this time.
0 commit comments