Notes - Some typecheck funtimes

1 files changed, 12 insertions, 0 deletions

diff --git a/Notes/Typeck.txt b/Notes/Typeck.txt
index 06b392c0..3ff88c5b 100644
--- a/Notes/Typeck.txt
+++ b/Notes/Typeck.txt
@@ -27,5 +27,17 @@ Needs to be able to point to functions in:
 
 Maybe can use separate types for each usecase?
 
+
+
+# Hard Questions
+
+## libgit2 inferrence quirk
+Query on rust type inferrence rules (as designed/intended, not as implemented)
+
+Can the presence of a trait impl influence type inferrence for the Self type?
+
+- `*mut _ : Convert<*mut T>`, if there's only one type that implements that
+  trait, is it valid to infer `_` based on that impl?
+
 <!-- vim: ft=markdown
 -->