From ecd297512902ec86c13db93b55cc93d6b9337947 Mon Sep 17 00:00:00 2001
From: JanUlrich <andi@michlaustderaffe.de>
Date: Wed, 6 Mar 2024 09:36:36 +0100
Subject: [PATCH] Add to constraints intro

---
 constraints.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/constraints.tex b/constraints.tex
index 3eeef6c..08f62c0 100644
--- a/constraints.tex
+++ b/constraints.tex
@@ -9,6 +9,9 @@
 
 %\subsection{Well-Formedness}
 
+Constraint generation step is the same as in \cite{TIforFGJ} except for field access and method invocation.
+Here \fjtype{} generates capture constraints instead of normal subtype constraints.
+
 The constraint generation step cannot determine if a capture conversion is needed for a field access or a method call.
 Those statements produce $\lessdotCC$ constraints which signal the \unify{} algorithm that they qualify for a capture conversion.