@@ -70,51 +70,51 @@ crate type RegionErrors<'tcx> = Vec<RegionErrorKind<'tcx>>;
7070
7171#[ derive( Clone , Debug ) ]
7272crate 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.
7474 TypeTestDoesNotLiveLongEnough {
75- /// The span of the type test
75+ /// The span of the type test.
7676 span : Span ,
77- /// The generic type of the type test
77+ /// The generic type of the type test.
7878 generic : GenericKind < ' tcx > ,
7979 } ,
8080
81- /// A generic bound failure for a type test
81+ /// A generic bound failure for a type test.
8282 TypeTestGenericBoundError {
83- /// The span of the type test
83+ /// The span of the type test.
8484 span : Span ,
85- /// The generic type of the type test
85+ /// The generic type of the type test.
8686 generic : GenericKind < ' tcx > ,
87- /// The lower bound region
87+ /// The lower bound region.
8888 lower_bound_region : ty:: Region < ' tcx > ,
8989 } ,
9090
91- /// An unexpected hidden region for an opaque type
91+ /// An unexpected hidden region for an opaque type.
9292 UnexpectedHiddenRegion {
93- /// The def id of the opaque type
93+ /// The def id of the opaque type.
9494 opaque_type_def_id : DefId ,
95- /// The hidden type
95+ /// The hidden type.
9696 hidden_ty : Ty < ' tcx > ,
97- /// The unexpected region
97+ /// The unexpected region.
9898 member_region : ty:: Region < ' tcx > ,
9999 } ,
100100
101- /// Higher-ranked subtyping error
101+ /// Higher-ranked subtyping error.
102102 BoundUniversalRegionError {
103103 /// The placeholder free region.
104104 longer_fr : RegionVid ,
105105 /// The region that erroneously must be outlived by `longer_fr`.
106106 error_region : RegionVid ,
107- /// The origin of the placeholder region
107+ /// The origin of the placeholder region.
108108 fr_origin : NLLRegionVariableOrigin ,
109109 } ,
110110
111- /// Any other lifetime error
111+ /// Any other lifetime error.
112112 RegionError {
113- /// The origin of the region
113+ /// The origin of the region.
114114 fr_origin : NLLRegionVariableOrigin ,
115- /// The region that should outlive `shorter_fr`
115+ /// The region that should outlive `shorter_fr`.
116116 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.
118118 shorter_fr : RegionVid ,
119119 /// Indicates whether this is a reported error. We currently only report the first error
120120 /// encountered and leave the rest unreported so as not to overwhelm the user.
0 commit comments