Index: src/AST/Convert.cpp
===================================================================
--- src/AST/Convert.cpp	(revision f6e6a55d53cd8b3b09c6daaeee01773aff551e6f)
+++ src/AST/Convert.cpp	(revision 298fe57025894ebcfae9883bdbc21d0e39e12ee8)
@@ -2729,5 +2729,6 @@
 			ty->forall.emplace_back(new ast::TypeInstType(param));
 			for (auto asst : param->assertions) {
-				ty->assertions.emplace_back(new ast::VariableExpr({}, asst));
+				ty->assertions.emplace_back(
+					new ast::VariableExpr(param->location, asst));
 			}
 		}