From 197a72c658fe25617c3a495797c2c79e4ed458fd Mon Sep 17 00:00:00 2001
From: pca006132 <john.lck40@gmail.com>
Date: Fri, 30 Jul 2021 16:43:25 +0800
Subject: [PATCH] added comment

---
 nac3core/src/typecheck/typedef/test.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/nac3core/src/typecheck/typedef/test.rs b/nac3core/src/typecheck/typedef/test.rs
index 0f9128ee..78cb77c5 100644
--- a/nac3core/src/typecheck/typedef/test.rs
+++ b/nac3core/src/typecheck/typedef/test.rs
@@ -493,6 +493,12 @@ fn test_instantiation() {
     let t = env.unifier.get_fresh_rigid_var().0;
     let tuple = env.unifier.add_ty(TypeEnum::TTuple { ty: vec![v, v1, v2] });
     let v3 = env.unifier.get_fresh_var_with_range(&[tuple, t]).0;
+    // t = TypeVar('t')
+    // v = TypeVar('v', int, bool)
+    // v1 = TypeVar('v1', 'list[v]', int)
+    // v2 = TypeVar('v2', 'list[int]', float)
+    // v3 = TypeVar('v3', tuple[v, v1, v2], t)
+    // what values can v3 take?
 
     let types = env.unifier.get_instantiations(v3).unwrap();
     let expected_types = indoc! {"