Recent improvements to associated type inference

[ibex10]

@Slava_Pestov

Associated type inference is not “purely functional”, it adds new typealiases which are visible to subsequent lookups. So the second extension immediately finds the new type alias and doesn’t try to infer A again.

Thank you, @Slava_Pestov

Would you be able to demonstrate this with a tiny example, by using your favourite notation?