@@ -70,51 +70,51 @@ crate type RegionErrors<'tcx> = Vec<RegionErrorKind<'tcx>>;
70
70
71
71
#[ derive( Clone , Debug ) ]
72
72
crate enum RegionErrorKind < ' tcx > {
73
- /// An error for a type test: `T: 'a` does not live long enough
73
+ /// An error for a type test: `T: 'a` does not live long enough.
74
74
TypeTestDoesNotLiveLongEnough {
75
- /// The span of the type test
75
+ /// The span of the type test.
76
76
span : Span ,
77
- /// The generic type of the type test
77
+ /// The generic type of the type test.
78
78
generic : GenericKind < ' tcx > ,
79
79
} ,
80
80
81
- /// A generic bound failure for a type test
81
+ /// A generic bound failure for a type test.
82
82
TypeTestGenericBoundError {
83
- /// The span of the type test
83
+ /// The span of the type test.
84
84
span : Span ,
85
- /// The generic type of the type test
85
+ /// The generic type of the type test.
86
86
generic : GenericKind < ' tcx > ,
87
- /// The lower bound region
87
+ /// The lower bound region.
88
88
lower_bound_region : ty:: Region < ' tcx > ,
89
89
} ,
90
90
91
- /// An unexpected hidden region for an opaque type
91
+ /// An unexpected hidden region for an opaque type.
92
92
UnexpectedHiddenRegion {
93
- /// The def id of the opaque type
93
+ /// The def id of the opaque type.
94
94
opaque_type_def_id : DefId ,
95
- /// The hidden type
95
+ /// The hidden type.
96
96
hidden_ty : Ty < ' tcx > ,
97
- /// The unexpected region
97
+ /// The unexpected region.
98
98
member_region : ty:: Region < ' tcx > ,
99
99
} ,
100
100
101
- /// Higher-ranked subtyping error
101
+ /// Higher-ranked subtyping error.
102
102
BoundUniversalRegionError {
103
103
/// The placeholder free region.
104
104
longer_fr : RegionVid ,
105
105
/// The region that erroneously must be outlived by `longer_fr`.
106
106
error_region : RegionVid ,
107
- /// The origin of the placeholder region
107
+ /// The origin of the placeholder region.
108
108
fr_origin : NLLRegionVariableOrigin ,
109
109
} ,
110
110
111
- /// Any other lifetime error
111
+ /// Any other lifetime error.
112
112
RegionError {
113
- /// The origin of the region
113
+ /// The origin of the region.
114
114
fr_origin : NLLRegionVariableOrigin ,
115
- /// The region that should outlive `shorter_fr`
115
+ /// The region that should outlive `shorter_fr`.
116
116
longer_fr : RegionVid ,
117
- /// The region that should be shorter, but we can't prove it
117
+ /// The region that should be shorter, but we can't prove it.
118
118
shorter_fr : RegionVid ,
119
119
/// Indicates whether this is a reported error. We currently only report the first error
120
120
/// encountered and leave the rest unreported so as not to overwhelm the user.
0 commit comments