Emily Toop e1e7cbaa44 Closes #634 - Fix variables in predicates (#635) r=rnewman ... We were forgetting to check for bound variables when resolving types other than ref types during inequality handling. This patch adds in the binding checks and `bails` if the bound variable is of the wrong type. #634		2018-05-09 16:24:12 +01:00
..
mod.rs	Closes #634 - Fix variables in predicates (#635) r=rnewman	2018-05-09 16:24:12 +01:00