File tree 2 files changed +0
-16
lines changed
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 {
111
111
self . has_type_flags ( TypeFlags :: HAS_FREE_REGIONS )
112
112
}
113
113
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
- }
123
114
/// Indicates whether this value references only 'global'
124
115
/// types/lifetimes that are the same regardless of what fn we are
125
116
/// 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 {
1171
1171
}
1172
1172
}
1173
1173
1174
- pub fn needs_infer ( & self ) -> bool {
1175
- match * self {
1176
- ty:: ReVar ( ..) | ty:: ReSkolemized ( ..) => true ,
1177
- _ => false
1178
- }
1179
- }
1180
-
1181
1174
pub fn escapes_depth ( & self , depth : u32 ) -> bool {
1182
1175
match * self {
1183
1176
ty:: ReLateBound ( debruijn, _) => debruijn. depth > depth,
You can’t perform that action at this time.
0 commit comments