&declared_ret_ty,
decl.output.span(),
);
+ debug!("check_fn: declared_ret_ty: {}, revealed_ret_ty: {}", declared_ret_ty, revealed_ret_ty);
fcx.ret_coercion = Some(RefCell::new(CoerceMany::new(revealed_ret_ty)));
fn_sig = fcx.tcx.mk_fn_sig(
fn_sig.inputs().iter().cloned(),
return;
}
- // Make a vector of booleans initially false, set to true when used.
+ // Make a vector of booleans initially `false`; set to `true` when used.
let mut types_used = vec![false; own_counts.types];
for leaf_ty in ty.walk() {
types_used[index as usize - own_counts.lifetimes] = true;
} else if let ty::Error = leaf_ty.sty {
// If there is already another error, do not emit
- // an error for not using a type Parameter.
+ // an error for not using a type parameter.
assert!(tcx.sess.has_errors());
return;
}