remove is global hack

Author: ouz-a

compiler/rustc_middle/src/ty/mod.rs

@@ -1752,30 +1752,9 @@ impl<'tcx> ParamEnv<'tcx> {
 Self::new(List::empty(),self.reveal())
 }
 
-/// Creates a suitable environment in which to perform trait
-/// queries on the given value. When type-checking, this is simply
-/// the pair of the environment plus value. But when reveal is set to
-/// All, then if `value` does not reference any type parameters, we will
-/// pair it with the empty environment. This improves caching and is generally
-/// invisible.
-///
-/// N.B., we preserve the environment when type-checking because it
-/// is possible for the user to have wacky where-clauses like
-/// `where Box<u32>: Copy`, which are clearly never
-/// satisfiable. We generally want to behave as if they were true,
-/// although the surrounding function is never reachable.
+/// Creates a pair of param-env and value for use in queries.
 pubfnand<T:TypeVisitable<TyCtxt<'tcx>>>(self,value:T) -> ParamEnvAnd<'tcx,T>{
-matchself.reveal(){
-Reveal::UserFacing => ParamEnvAnd{param_env:self, value },
-
-Reveal::All => {
-if value.is_global(){
-ParamEnvAnd{param_env:self.without_caller_bounds(), value }
-}else{
-ParamEnvAnd{param_env:self, value }
-}
-}
-}
+ParamEnvAnd{param_env:self, value }
 }
 }
 

tests/ui/traits/associated_type_bound/impl-is-shadowed.rs

@@ -0,0 +1,21 @@
+// check-pass
+traitBar<'a>{
+typeAssoc:'static;
+}
+
+impl<'a>Bar<'a>for(){
+typeAssoc = ();
+}
+
+structImplsStatic<CG:Bar<'static>>{
+d:&'static <CGasBar<'static>>::Assoc,
+}
+
+fncaller(b:ImplsStatic<()>)
+where
+for<'a>():Bar<'a>
+{
+let _:&<()asBar<'static>>::Assoc = b.d;
+}
+
+fnmain(){}