Fix issues in comments

Author: varkor

src/librustc_mir/hair/pattern/check_match.rs

@@ -227,14 +227,10 @@ impl<'a, 'tcx> MatchVisitor<'a, 'tcx> {
                 let scrutinee_is_uninhabited = if self.tcx.features().exhaustive_patterns {
                     self.tcx.is_ty_uninhabited_from(module, pat_ty)
                 } else {
-                    if self.tcx.features().exhaustive_patterns {
-                        pat_ty.conservative_is_uninhabited()
-                    } else {
-                        match pat_ty.sty {
-                            ty::TyNever => true,
-                            ty::TyAdt(def, _) => def.variants.is_empty(),
-                            _ => false
-                        }
+                    match pat_ty.sty {
+                        ty::TyNever => true,
+                        ty::TyAdt(def, _) => def.variants.is_empty(),
+                        _ => false
                     }
                 };
                 if !scrutinee_is_uninhabited {

src/librustc_typeck/check/mod.rs

@@ -1065,8 +1065,8 @@ fn check_fn<'a, 'gcx, 'tcx>(inherited: &'a Inherited<'a, 'gcx, 'tcx>,
             ty::BindingMode::BindByValue(hir::Mutability::MutImmutable), true);
 
         // If any of a function's parameters have a type that is uninhabited, then it
-        // may never be called (because its arguments cannot be constructed). Therefore,
-        // it must always diverge.
+        // it is not possible to call that function (because its arguments cannot be constructed).
+        // Therefore, it must always diverge.
         if fcx.tcx.features().exhaustive_patterns {
             if arg_ty.conservative_is_uninhabited() {
                 let mut diverges = Diverges::Always;