about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/variance
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2023-11-13 14:00:05 +0000
committerlcnr <rust@lcnr.de>2023-11-13 14:13:54 +0000
commit86fa1317a327eea002db57fbb009ccab9ae9d7dc (patch)
tree8f3505fe35f32fef21fee2cc076afde6a6216962 /compiler/rustc_hir_analysis/src/variance
parent28328c8389a08ddcfe9db5475835394b6a8555db (diff)
downloadrust-86fa1317a327eea002db57fbb009ccab9ae9d7dc.tar.gz
rust-86fa1317a327eea002db57fbb009ccab9ae9d7dc.zip
rename `ReLateBound` to `ReBound`
other changes:
- `Region::new_late_bound` -> `Region::new_bound`
- `Region::is_late_bound` -> `Region::is_bound`
Diffstat (limited to 'compiler/rustc_hir_analysis/src/variance')
-rw-r--r--compiler/rustc_hir_analysis/src/variance/constraints.rs8
1 files changed, 5 insertions, 3 deletions
diff --git a/compiler/rustc_hir_analysis/src/variance/constraints.rs b/compiler/rustc_hir_analysis/src/variance/constraints.rs
index 5f8b1ace68b..6c1efb6470e 100644
--- a/compiler/rustc_hir_analysis/src/variance/constraints.rs
+++ b/compiler/rustc_hir_analysis/src/variance/constraints.rs
@@ -419,9 +419,11 @@ impl<'a, 'tcx> ConstraintContext<'a, 'tcx> {
 
             ty::ReStatic => {}
 
-            ty::ReLateBound(..) => {
-                // Late-bound regions do not get substituted the same
-                // way early-bound regions do, so we skip them here.
+            ty::ReBound(..) => {
+                // Either a higher-ranked region inside of a type or a
+                // late-bound function parameter.
+                //
+                // We do not compute constraints for either of these.
             }
 
             ty::ReError(_) => {}