finish RegionKind
rename
- `ReFree` -> `ReLateParam` - `ReEarlyBound` -> `ReEarlyParam`
This commit is contained in:
parent
9ab054d714
commit
9aa2330e41
@ -175,7 +175,7 @@ fn check_poly_fn(&mut self, cx: &LateContext<'tcx>, def_id: LocalDefId, decl: &F
|
|||||||
},
|
},
|
||||||
// Early bound regions on functions are either from the containing item, are bounded by another
|
// Early bound regions on functions are either from the containing item, are bounded by another
|
||||||
// lifetime, or are used as a bound for a type or lifetime.
|
// lifetime, or are used as a bound for a type or lifetime.
|
||||||
RegionKind::ReEarlyBound(..) => continue,
|
RegionKind::ReEarlyParam(..) => continue,
|
||||||
_ => (),
|
_ => (),
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -465,9 +465,9 @@ fn check_fn_args<'cx, 'tcx: 'cx>(
|
|||||||
.walk()
|
.walk()
|
||||||
.filter_map(|arg| {
|
.filter_map(|arg| {
|
||||||
arg.as_region().and_then(|lifetime| match lifetime.kind() {
|
arg.as_region().and_then(|lifetime| match lifetime.kind() {
|
||||||
ty::ReEarlyBound(r) => Some(r.def_id),
|
ty::ReEarlyParam(r) => Some(r.def_id),
|
||||||
ty::ReBound(_, r) => r.kind.get_id(),
|
ty::ReBound(_, r) => r.kind.get_id(),
|
||||||
ty::ReFree(r) => r.bound_region.get_id(),
|
ty::ReLateParam(r) => r.bound_region.get_id(),
|
||||||
ty::ReStatic
|
ty::ReStatic
|
||||||
| ty::ReVar(_)
|
| ty::ReVar(_)
|
||||||
| ty::RePlaceholder(_)
|
| ty::RePlaceholder(_)
|
||||||
|
Loading…
Reference in New Issue
Block a user