Fix Chalk environments

The clauses need to be wrapped in `FromEnv` clauses for elaboration (i.e.
things like inferring `T: Clone` from `T: Copy`) to work correctly.

1 files changed, 2 insertions, 2 deletions

diff --git a/crates/ra_hir/src/ty/tests.rs b/crates/ra_hir/src/ty/tests.rs
index 127c69f8a..3f86a5c80 100644
--- a/crates/ra_hir/src/ty/tests.rs
+++ b/crates/ra_hir/src/ty/tests.rs
@@ -3687,9 +3687,9 @@ fn test<T: Trait1, U: Trait2>(x: T, y: U) {
     [188; 189) 'y': U
     [194; 223) '{     ...o(); }': ()
     [200; 201) 'x': T
-    [200; 207) 'x.foo()': {unknown}
+    [200; 207) 'x.foo()': u32
     [213; 214) 'y': U
-    [213; 220) 'y.foo()': {unknown}
+    [213; 220) 'y.foo()': u32
     "###
     );
 }