@@ -9,10 +9,8 @@ use rustc_errors::Diag;
9
9
use rustc_hir:: def_id:: CRATE_DEF_ID ;
10
10
use rustc_index:: IndexVec ;
11
11
use rustc_infer:: infer:: outlives:: test_type_match;
12
- use rustc_infer:: infer:: region_constraints:: {
13
- GenericKind , RegionVariableInfo , VerifyBound , VerifyIfEq ,
14
- } ;
15
- use rustc_infer:: infer:: { InferCtxt , NllRegionVariableOrigin , RegionVariableOrigin } ;
12
+ use rustc_infer:: infer:: region_constraints:: { GenericKind , VerifyBound , VerifyIfEq } ;
13
+ use rustc_infer:: infer:: { InferCtxt , NllRegionVariableOrigin } ;
16
14
use rustc_middle:: bug;
17
15
use rustc_middle:: mir:: {
18
16
AnnotationSource , BasicBlock , Body , ConstraintCategory , Local , Location , ReturnConstraint ,
@@ -2143,21 +2141,6 @@ impl<'tcx> RegionInferenceContext<'tcx> {
2143
2141
}
2144
2142
}
2145
2143
2146
- impl < ' tcx > RegionDefinition < ' tcx > {
2147
- pub ( crate ) fn new ( rv_info : & RegionVariableInfo ) -> Self {
2148
- // Create a new region definition. Note that, for free
2149
- // regions, the `external_name` field gets updated later in
2150
- // [[crate::eliminate_placeholders]].
2151
-
2152
- let origin = match rv_info. origin {
2153
- RegionVariableOrigin :: Nll ( origin) => origin,
2154
- _ => NllRegionVariableOrigin :: Existential { from_forall : false } ,
2155
- } ;
2156
-
2157
- Self { origin, universe : rv_info. universe , external_name : None }
2158
- }
2159
- }
2160
-
2161
2144
#[ derive( Clone , Debug ) ]
2162
2145
pub ( crate ) struct BlameConstraint < ' tcx > {
2163
2146
pub category : ConstraintCategory < ' tcx > ,
0 commit comments