PathElementにはPathElementKindで表された種類があって、上の例であればPathElementKind::TupleElementとなる。PathElementKindはPathElement::getKindで取れる。}ConstraintLocatorが指しているExprはanchorという名前で取得できる。使ってどのExprに対するConstraintかを表すことができる。matchTypes().メモリをアロケートせずにConstraintLocatorを構築する、単純なスタック専用のBuilderオブジェクト。ように型を再帰的に分割する場合など、コンポーネントをスタックに渡すときにパスを構築する。ConstraintSystemConstraintSystemはConstraintLocatorsを持っている。経由でConstraintLocatorで取るとConstraintLocatorsにあればそれを取得、なければ作ってConstraintLocatorsに追加してからそれを返す。locator;}まとめ主な用途はgetAnchor()してExprを取り出すことっぽいので、そう覚えておくことにする。