remove function call and match

Author: ouz-a

compiler/rustc_middle/src/ty/mod.rs

@@ -1762,10 +1762,7 @@ impl<'tcx> ParamEnv<'tcx> {
     /// satisfiable. We generally want to behave as if they were true,
     /// although the surrounding function is never reachable.
     pub fn and<T: TypeVisitable<TyCtxt<'tcx>>>(self, value: T) -> ParamEnvAnd<'tcx, T> {
-        match self.reveal() {
-            Reveal::UserFacing => ParamEnvAnd { param_env: self, value },
-            Reveal::All => ParamEnvAnd { param_env: self, value },
-        }
+        ParamEnvAnd { param_env: self, value }
     }
 }