@@ -1161,7 +1161,7 @@ impl<'a, 'tcx> GatherLocalsVisitor<'a, 'tcx> {
1161
1161
fn assign ( & mut self , span : Span , nid : hir:: HirId , ty_opt : Option < LocalTy < ' tcx > > ) -> Ty < ' tcx > {
1162
1162
match ty_opt {
1163
1163
None => {
1164
- // infer the variable's type
1164
+ // Infer the variable's type.
1165
1165
let var_ty = self . fcx . next_ty_var ( TypeVariableOrigin {
1166
1166
kind : TypeVariableOriginKind :: TypeInference ,
1167
1167
span,
@@ -1173,7 +1173,7 @@ impl<'a, 'tcx> GatherLocalsVisitor<'a, 'tcx> {
1173
1173
var_ty
1174
1174
}
1175
1175
Some ( typ) => {
1176
- // take type that the user specified
1176
+ // Take type that the user specified.
1177
1177
self . fcx . locals . borrow_mut ( ) . insert ( nid, typ) ;
1178
1178
typ. revealed_ty
1179
1179
}
@@ -1244,7 +1244,7 @@ impl<'a, 'tcx> Visitor<'tcx> for GatherLocalsVisitor<'a, 'tcx> {
1244
1244
intravisit:: walk_pat ( self , p) ;
1245
1245
}
1246
1246
1247
- // Don't descend into the bodies of nested closures
1247
+ // Don't descend into the bodies of nested closures.
1248
1248
fn visit_fn (
1249
1249
& mut self ,
1250
1250
_: intravisit:: FnKind < ' tcx > ,
@@ -1292,7 +1292,7 @@ fn check_fn<'a, 'tcx>(
1292
1292
1293
1293
debug ! ( "check_fn(sig={:?}, fn_id={}, param_env={:?})" , fn_sig, fn_id, param_env) ;
1294
1294
1295
- // Create the function context. This is either derived from scratch or,
1295
+ // Create the function context. This is either derived from scratch or,
1296
1296
// in the case of closures, based on the outer context.
1297
1297
let mut fcx = FnCtxt :: new ( inherited, param_env, body. value . hir_id ) ;
1298
1298
* fcx. ps . borrow_mut ( ) = UnsafetyState :: function ( fn_sig. unsafety , fn_id) ;
0 commit comments