transmutability: Stall new solver when inference variables remain

Author: lapla-cogito

compiler/rustc_next_trait_solver/src/solve/eval_ctxt/mod.rs

@@ -1174,6 +1174,9 @@ where
         dst: I::Ty,
         assume: I::Const,
     ) -> Result<Certainty, NoSolution> {
+        if src.has_non_region_infer() || dst.has_non_region_infer() {
+            return Ok(Certainty::AMBIGUOUS);
+        }
         self.delegate.is_transmutable(dst, src, assume)
     }
 

tests/ui/transmutability/transmutability-coherence.rs

@@ -0,0 +1,10 @@
+#![feature(transmutability)]
+trait OpaqueTrait {}
+
+impl<T: std::mem::TransmuteFrom<(), ()>> OpaqueTrait for T {}
+//~^ ERROR: type provided when a constant was expected
+
+impl<T> OpaqueTrait for &T where T: OpaqueTrait {}
+//~^ ERROR: conflicting implementations of trait `OpaqueTrait` for type `&_`
+
+fn main() {}

tests/ui/transmutability/transmutability-coherence.stderr

@@ -0,0 +1,19 @@
+error[E0747]: type provided when a constant was expected
+  --> $DIR/transmutability-coherence.rs:4:37
+   |
+LL | impl<T: std::mem::TransmuteFrom<(), ()>> OpaqueTrait for T {}
+   |                                     ^^
+
+error[E0119]: conflicting implementations of trait `OpaqueTrait` for type `&_`
+  --> $DIR/transmutability-coherence.rs:7:1
+   |
+LL | impl<T: std::mem::TransmuteFrom<(), ()>> OpaqueTrait for T {}
+   | ---------------------------------------------------------- first implementation here
+...
+LL | impl<T> OpaqueTrait for &T where T: OpaqueTrait {}
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `&_`
+
+error: aborting due to 2 previous errors
+
+Some errors have detailed explanations: E0119, E0747.
+For more information about an error, try `rustc --explain E0119`.