Tesla Zhang‮

```diff Subject: [PATCH] path: improve path type checking --- Index: base/src/main/java/org/aya/tyck/ExprTycker.java IDEA additional info: Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP UTF-8 =================================================================== diff --git a/base/src/main/java/org/aya/tyck/ExprTycker.java b/base/src/main/java/org/aya/tyck/ExprTycker.java --- a/base/src/main/java/org/aya/tyck/ExprTycker.java (revision c08c1fa55723718c7d69ce56e989a2062e3b960d) +++ b/base/src/main/java/org/aya/tyck/ExprTycker.java (revision 6e6fb8854d6b34e4ec7024b3075f84e302ba35df)...

So when we write ```aya def infixr (p : [| i |] A) (q : [| i |] A {| ~ i := p 1 |}) : [| i |]...

https://discord.com/channels/767397347218423858/1032084346665959514/1032271411697426486 This will address the no boundary problem.

Also ```diff Subject: [PATCH] refactor: more java 19 --- Index: base/src/test/resources/success/common/src/Paths.aya IDEA additional info: Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP UTF-8 =================================================================== diff --git a/base/src/test/resources/success/common/src/Paths.aya b/base/src/test/resources/success/common/src/Paths.aya --- a/base/src/test/resources/success/common/src/Paths.aya (revision eed95202608bcb3cde340c4582902dfdb5e1f02f) +++ b/base/src/test/resources/success/common/src/Paths.aya (date 1666198892195)...

Integrated in #592, even though the test case still doesn't work.

Depends on #464

Any hope of splitting into smaller parts?

Maybe a unifier does not need a reporter..

Oops 

Ok I reimplemented this feature