From 4fef03f5f8e1d24528c4f22931f2f0f2219878ec Mon Sep 17 00:00:00 2001
From: Benjamin Bouvier <public@benj.me>
Date: Tue, 2 Jul 2019 18:24:50 +0200
Subject: [PATCH] [meta] Legalization: remove spurious assert;

This assert was added when porting legalization from Python to Rust and
doesn't hold when we have derived type variables.
---
 cranelift/codegen/meta/src/cdsl/type_inference.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/cranelift/codegen/meta/src/cdsl/type_inference.rs b/cranelift/codegen/meta/src/cdsl/type_inference.rs
index e3a1e9bb06..101cfa4104 100644
--- a/cranelift/codegen/meta/src/cdsl/type_inference.rs
+++ b/cranelift/codegen/meta/src/cdsl/type_inference.rs
@@ -364,7 +364,6 @@ impl TypeEnvironment {
 
             // Sanity check: translated constraints should refer only to real variables.
             for arg in constraint.typevar_args() {
-                assert!(vars_tv.contains(arg));
                 let arg_free_tv = arg.free_typevar();
                 assert!(arg_free_tv.is_none() || vars_tv.contains(&arg_free_tv.unwrap()));
             }